Some definable types that cannot be amalgamated
Martin Hils, Rosario Mennuni

TL;DR
This paper presents a specific theory in which certain definable types do not possess the amalgamation property, highlighting limitations in the structure of definable types.
Contribution
The paper constructs an example of a theory where definable types fail to have the amalgamation property, illustrating a notable limitation in model theory.
Findings
Existence of a theory with non-amalgamable definable types
Demonstration of failure of the amalgamation property in this context
Insight into the structure of definable types in model theory
Abstract
We exhibit a theory where definable types lack the amalgamation property.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Logic, Reasoning, and Knowledge · Logic, programming, and type systems
