- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Generic variations and NTP$$_1$$1
Archive for Mathematical Logic 57 (7-8):861-871 (2018)
Abstract
We prove a preservation theorem for NTP\ in the context of the generic variations construction. We also prove that NTP\ is preserved under adding to a geometric theory a generic predicate.Other Versions
No versions found
My notes
Similar books and articles
Dense codense predicates and the NTP 2.Alexander Berenstein & Hyeung-Joon Kim - 2016 - Mathematical Logic Quarterly 62 (1-2):16-24.
Elimination of Imaginaries in Expansions of O-Minimal Structures by Generic Sets.Sergio Fratarcangeli - 2005 - Journal of Symbolic Logic 70 (4):1150 - 1160.
Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Preservation of NATP.Jinhoo Ahn, Joonhee Kim, Hyoyoon Lee & Junguk Lee - forthcoming - Journal of Mathematical Logic.
Density-1-bounding and quasiminimality in the generic degrees.Peter Cholak & Gregory Igusa - 2017 - Journal of Symbolic Logic 82 (3):931-957.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1):203-211.
Hilbert spaces with generic groups of automorphisms.Alexander Berenstein - 2007 - Archive for Mathematical Logic 46 (3-4):289-299.
A model of the generic Vopěnka principle in which the ordinals are not Mahlo.Victoria Gitman & Joel David Hamkins - 2019 - Archive for Mathematical Logic 58 (1-2):245-265.
Analytics
Added to PP
2018-01-28
Downloads
21 (#1,005,339)
6 months
3 (#1,470,638)
2018-01-28
Downloads
21 (#1,005,339)
6 months
3 (#1,470,638)
Historical graph of downloads
Citations of this work
Remarks on generic stability in independent theories.Gabriel Conant & Kyle Gannon - 2020 - Annals of Pure and Applied Logic 171 (2):102736.
References found in this work
Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
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.
On ◁∗-maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-sfdq8 dc2