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

DOI10.1002/MALQ.201600049MaRDI QIDQ5108129zbMATH OpenOpenAlexFDO

Authors Hyeung-Joon Kim, Jan Dobrowolski

Publication date 29 April 2020

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.06006

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We prove that the NTP${}_1$ 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 NTP${}_1$ theories.

Recommendations

• Generic variations and NTP₁
• On model-theoretic tree properties
• Dense codense predicates and the \(\mathrm{NTP}_{2}\)
• Theories without the tree property of the second kind
• Lovely pairs of models: the non first order case

Cites work

• Classification theory and the number of non-isomorphic models.
• Dense codense predicates and the \(\mathrm{NTP}_{2}\)
• Geometric structures with a dense independent subset
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• Lovely pairs of models
• Notions around tree property 1
• On lovely pairs of geometric structures
• On the existence of indiscernible trees
• Paires de structures stables
• Simple unstable theories
• Stability in geometric theories
• Stable theories with a new predicate
• Theories without the tree property of the second kind

Cited in

(3)

• Generic variations and NTP₁
• Dense codense predicates and the \(\mathrm{NTP}_{2}\)
• Preservation of NATP

This page was built for publication: A preservation theorem for theories without the tree property of the first kind

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5108129)