- 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
Superrosiness and dense pairs of geometric structures
Archive for Mathematical Logic 63 (1):203-209 (2023)
Abstract
Let T be a complete geometric theory and let $$T_P$$ T P be the theory of dense pairs of models of T. We show that if T is superrosy with "Equation missing"-rank 1 then $$T_P$$ T P is superrosy with "Equation missing"-rank at most $$\omega $$ ω.My notes
Similar books and articles
Generic trivializations of geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2014 - Mathematical Logic Quarterly 60 (4-5):289-303.
On pseudolinearity and generic pairs.Evgueni Vassiliev - 2010 - Mathematical Logic Quarterly 56 (1):35-41.
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
Dense codense predicates and the NTP 2.Alexander Berenstein & Hyeung-Joon Kim - 2016 - Mathematical Logic Quarterly 62 (1-2):16-24.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Simple groups and the number of countable models.Predrag Tanović - 2013 - Archive for Mathematical Logic 52 (7-8):779-791.
The independence property in generalized dense pairs of structures.Alexander Berenstein, Alf Dolich & Alf Onshuus - 2011 - Journal of Symbolic Logic 76 (2):391 - 404.
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two.Mohsen Khani - 2015 - Archive for Mathematical Logic 54 (7):885-898.
On the number of models of uncountable theories.Ambar Chowdhury & Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1285-1300.
Analytics
Added to PP
2023-09-20
Downloads
19 (#793,450)
6 months
12 (#304,552)
2023-09-20
Downloads
19 (#793,450)
6 months
12 (#304,552)
Historical graph of downloads
References found in this work
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (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.
Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
On lovely pairs of geometric structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
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-6686886f5-ktvwr uwo