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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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 the theory of closed ordered differential fields.Quentin Brouette - 2017 - Archive for Mathematical Logic 56 (1-2):119-129.
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.
Definable functions continuous on curves in o-minimal structures.Janak Ramakrishnan - 2014 - Annals of Pure and Applied Logic 165 (7-8):1339-1351.
Peirce's 10, 28, and 66 sign-types: The simplest mathematics.Robert W. Burch - 2011 - Semiotica 2011 (184):93-98.
On compactifications and the topological dynamics of definable groups.Jakub Gismatullin, Davide Penazzi & Anand Pillay - 2014 - Annals of Pure and Applied Logic 165 (2):552-562.
Semigroups in Stable Structures.Yatir Halevi - 2018 - Notre Dame Journal of Formal Logic 59 (3):417-436.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):788-796.
Definable homomorphisms of abelian groups in o-minimal structures.Ya'acov Peterzil & Sergei Starchenko - 1999 - Annals of Pure and Applied Logic 101 (1):1-27.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Topological dynamics of stable groups.Ludomir Newelski - 2014 - Journal of Symbolic Logic 79 (4):1199-1223.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
On Metric Types That Are Definable in an O-Minimal Structure.Guillaume Valette - 2008 - Journal of Symbolic Logic 73 (2):439 - 447.
Stable Definability and Generic Relations.Byunghan Kim & Rahim Moosa - 2007 - Journal of Symbolic Logic 72 (4):1163 - 1176.
Invariant types in NIP theories.Pierre Simon - 2015 - Journal of Mathematical Logic 15 (2):1550006.

Analytics

Added to PP
2023-05-30

Downloads
6 (#1,465,900)

6 months
4 (#798,951)

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.
Definable Types in $mathscr{O}$-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.

View all 6 references / Add more references