Dense codense predicates and the NTP 2

Mathematical Logic Quarterly 62 (1-2):16-24 (2016)
  Copy   BIBTEX

Abstract

We show that if T is any geometric theory having the NTP2 then the corresponding theories of lovely pairs of models of T and of H‐structures associated to T also have the NTP2. We also prove that if T is strong then the same two expansions of T are also strong.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
The 116 reducts of (ℚ, <,a).Markus Junker & Martin Ziegler - 2008 - Journal of Symbolic Logic 73 (3):861-884.
Vague predicates and language games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.
Classifying model-theoretic properties.Chris J. Conidis - 2008 - Journal of Symbolic Logic 73 (3):885-905.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
Quantum sortal predicates.Décio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.
Van Douwen’s diagram for dense sets of rationals.Jörg Brendle - 2006 - Annals of Pure and Applied Logic 143 (1-3):54-69.
Quantum Sortal Predicates.D.\'ecio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.
Remarks on gaps in Dense (Q) / nwd.Teppo Kankaanpää - 2013 - Mathematical Logic Quarterly 59 (1-2):51-61.
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.

Analytics

Added to PP
2016-02-04

Downloads
16 (#774,858)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
On lovely pairs of geometric structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
Paires de structures Stables.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):239-249.

View all 15 references / Add more references