Preservation of NATP

Journal of Mathematical Logic (forthcoming)
  Copy   BIBTEX

Abstract

We prove the preservation theorems for NATP; many of them extend the previously established preservation results for other model-theoretic tree properties. Using them, we also furnish proper examples of NATP theories which are simultaneously TP2 and SOP. First, we show that NATP is preserved by the parametrization and sum of the theories of Fraïssé limits of Fraïssé classes satisfying strong amalgamation property. Second, the preservation of NATP for two kinds of dense/co-dense expansions, i.e. the theories of lovely pairs and of [Formula: see text]-structures for geometric theories, and dense/co-dense expansion on vector spaces is proved. Next, we prove the preservation of NATP for the generic predicate expansion and the pair of an algebraically closed field and its distinguished subfield; for the latter, not only NATP, but also the preservation of NTP1 and NTP2 is considered. Finally, we present some proper examples of NATP theories using the results proved in this paper, including the parametrization of DLO and the expansion of an algebraically closed field by adding a generic linear order. In particular, we show that the model companion of the theory of algebraically closed fields with circular orders (ACFO) is NATP.

Links

PhilArchive



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

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

On the antichain tree property.JinHoo Ahn, Joonhee Kim & Junguk Lee - 2022 - Journal of Mathematical Logic 23 (2).
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Utilitarianism and Preservation.Eric Katz - 1979 - Environmental Ethics 1 (4):357-364.
Utilitarianism and Preservation.Eric Katz - 1979 - Environmental Ethics 1 (4):357-364.
New reals: Can live with them, can live without them.Martin Goldstern & Jakob Kellner - 2006 - Mathematical Logic Quarterly 52 (2):115-124.
The Ethics of Historic Preservation.Erich Hatala Matthes - 2016 - Philosophy Compass 11 (12):786-794.
Spinozistic Self-Preservation.Andrew Youpa - 2003 - Southern Journal of Philosophy 41 (3):477-490.
Against Preservation.Matthew Mandelkern & Justin Khoo - 2019 - Analysis 79 (3):424-436.
Why Preserve Species?Robert Eliot - 1980 - In D. Mannison, M. McRobbie & R. Routley (eds.), Environmental Philosophy. Australian National University. pp. 8-29.

Analytics

Added to PP
2023-11-14

Downloads
6 (#1,446,534)

6 months
6 (#509,020)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references