- 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
Forking geometry on theories with an independent predicate
Archive for Mathematical Logic 54 (1-2):247-255 (2015)
Abstract
We prove that a simple theory of SU-rank 1 is n-ample if and only if the associated theory equipped with a predicate for an independent dense subset is n-ample for n at least 2.My notes
Similar books and articles
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Forking in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
Stable theories without dense forking chains.Bernhard Herwig, James G. Loveys, Anand Pillay, Predag Tanović & O. Wagner - 1992 - Archive for Mathematical Logic 31 (5):297-303.
The group configuration in simple theories and its applications.Itay Ben-Yaacov, Ivan Tomašić & Frank O. Wagner - 2002 - Bulletin of Symbolic Logic 8 (2):283-298.
A primer of simple theories.Rami Grossberg, José Iovino & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (6):541-580.
On omega-categorical simple theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
A note on CM-Triviality and the geometry of forking.Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):474-480.
The stable forking conjecture and generic structures.Massoud Pourmahdian - 2003 - Archive for Mathematical Logic 42 (5):415-421.
Independence, dimension and continuity in non-forking frames.Adi Jarden & Alon Sitton - 2013 - Journal of Symbolic Logic 78 (2):602-632.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
Analytics
Added to PP
2014-11-07
Downloads
12 (#1,020,711)
6 months
3 (#880,460)
2014-11-07
Downloads
12 (#1,020,711)
6 months
3 (#880,460)
Historical graph of downloads
Citations of this work
Supersimple structures with a dense independent subset.Alexander Berenstein, Juan Felipe Carmona & Evgueni Vassiliev - 2017 - Mathematical Logic Quarterly 63 (6):552-573.
References found in this work
On lovely pairs of geometric structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
A note on CM-Triviality and the geometry of forking.Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):474-480.
The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
A free pseudospace.Andreas Baudisch & Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):443-460.
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-6d9b7f7c4c-sqt28 uwo