A preservation theorem for theories without the tree property of the first kind

&
Mathematical Logic Quarterly 63 (6):536-543 (2017)
  Copy   BIBTEX

Abstract

We prove the NTP1 property of a geometric theory T is inherited by theories of lovely pairs and H‐structures associated to T. We also provide a class of examples of nonsimple geometric NTP1 theories.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201600049

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Applications of the ergodic iteration theorem.Jindřich Zapletal - 2010 - Mathematical Logic Quarterly 56 (2):116-125.
Reverse mathematics and Ramsey's property for trees.Jared Corduan, Marcia J. Groszek & Joseph R. Mileti - 2010 - Journal of Symbolic Logic 75 (3):945-954.
The Kunen-Miller chart (lebesgue measure, the baire property, Laver reals and preservation theorems for forcing).Haim Judah & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (3):909-927.
Relativised Homomorphism Preservation at the Finite Level.Lucy Ham - 2017 - Studia Logica 105 (4):761-786.
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.
New reals: Can live with them, can live without them.Martin Goldstern & Jakob Kellner - 2006 - Mathematical Logic Quarterly 52 (2):115-124.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Weak partition properties on trees.Michael Hrušák, Petr Simon & Ondřej Zindulka - 2013 - Archive for Mathematical Logic 52 (5-6):543-567.
Understanding preservation theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
A short proof of the preservation of the ωω‐bounding property.Chaz Schlindwein - 2004 - Mathematical Logic Quarterly 50 (1):29-32.
The differences between Kurepa trees and Jech-Kunen trees.Renling Jin - 1993 - Archive for Mathematical Logic 32 (5):369-379.
The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.

Analytics

Added to PP
2017-12-20

Downloads
12 (#1,062,297)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

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.
On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
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 11 references / Add more references