Some definable types that cannot be amalgamated

&
Mathematical Logic Quarterly 69 (1):46-49 (2023)
  Copy   BIBTEX

Abstract

We exhibit a theory where definable types lack the amalgamation property.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.202200046

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Definable types in algebraically closed valued fields.Pablo Cubides Kovacsics & Françoise Delon - 2016 - Mathematical Logic Quarterly 62 (1-2):35-45.
Definable types in the theory of closed ordered differential fields.Quentin Brouette - 2017 - Archive for Mathematical Logic 56 (1-2):119-129.
The externally definable Ramsey property and fixed points on type spaces.Nadav Meir & Rob Sullivan - forthcoming - Archive for Mathematical Logic:1-31.
Invariant types in NIP theories.Pierre Simon - 2015 - Journal of Mathematical Logic 15 (2):1550006.
On definability of types and relative stability.Viktor Verbovskiy - 2019 - Mathematical Logic Quarterly 65 (3):332-346.
Expansions of Presburger arithmetic with the exchange property.Nathanaël Mariaule - 2021 - Mathematical Logic Quarterly 67 (4):409-419.
Strong density of definable types and closed ordered differential fields.Quentin Brouette, Pablo Cubides Kovacsics & Françoise Point - 2019 - Journal of Symbolic Logic 84 (3):1099-1117.
On definability of types of finite Cantor-Bendixson rank.Predrag Tanovic - 2011 - Mathematical Logic Quarterly 57 (3):256-260.
Filling certain cuts in discrete weakly o-minimal structures.Stefano Leonesi & Carlo Toffalori - 2005 - Mathematical Logic Quarterly 51 (2):145.
Type-amalgamation properties and polygroupoids in stable theories.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2015 - Journal of Mathematical Logic 15 (1):1550004.

Analytics

Added to PP
2023-05-30

Downloads
17 (#1,138,780)

6 months
9 (#454,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Paires de structures Stables.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):239-249.
Definable types in o-minimal theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
Paires de structures o-minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.

Add more references