- 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
On the n-uniqueness of types in rosy theories
Archive for Mathematical Logic 55 (5-6):677-686 (2016)
Abstract
We prove that in a rosy theory, the n-uniqueness of a strong type p implies the strong n-uniqueness of p. In addition we study some of the boundary properties of p.My notes
Similar books and articles
Stable types in rosy theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.
A classification of 2-chains having 1-shell boundaries in rosy theories.Byunghan Kim, Sunyoung Kim & Junguk Lee - 2015 - Journal of Symbolic Logic 80 (1):322-340.
Failure of n -uniqueness: a family of examples.Elisabetta Pastori & Pablo Spiga - 2011 - Mathematical Logic Quarterly 57 (2):133-148.
The Uniqueness Thesis.Matthew Kopec & Michael G. Titelbaum - 2016 - Philosophy Compass 11 (4):189-200.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):788-796.
The number of types in simple theories.Enrique Casanovas - 1999 - Annals of Pure and Applied Logic 98 (1-3):69-86.
Embedding and uniqueness in relationist theories.Brent Mundy - 1991 - Philosophy of Science 58 (1):102-124.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Analytics
Added to PP
2017-11-06
Downloads
1 (#1,866,476)
6 months
1 (#1,459,555)
2017-11-06
Downloads
1 (#1,866,476)
6 months
1 (#1,459,555)
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Co-theory of sorted profinite groups for PAC structures.Daniel Max Hoffmann & Junguk Lee - 2023 - Journal of Mathematical Logic 23 (3).
Homology groups of types in stable theories and the Hurewicz correspondence.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2017 - Annals of Pure and Applied Logic 168 (9):1710-1728.
References found in this work
Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
Homology Groups of Types in Model Theory and the Computation of H 2.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2013 - Journal of Symbolic Logic 78 (4):1086-1114.
Type-amalgamation properties and polygroupoids in stable theories.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2015 - Journal of Mathematical Logic 15 (1):1550004.
Homology groups of types in model theory and the computation of $H_2$.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2013 - Journal of Symbolic Logic 78 (4):1086-1114.
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-67rzb uwo