Notre Dame Journal of Formal Logic 42 (3):129-142 (2001)
Authors | |
Abstract |
We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the finite cover property . For any theory T, form a new theory $T_{\rm Aut}$ by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if $T_{\rm Aut}$ has a model companion. The proof involves some interesting new consequences of the nfcp
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1305/ndjfl/1063372196 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Generic Structures and Simple Theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
The Strict Order Property and Generic Automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
The Definable Multiplicity Property and Generic Automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
Citations of this work BETA
Model Theoretic Dynamics in Galois Fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
On PAC and Bounded Substructures of a Stable Structure.Anand Pillay & Dominika Polkowska - 2006 - Journal of Symbolic Logic 71 (2):460 - 472.
The Metamathematics of Random Graphs.John T. Baldwin - 2006 - Annals of Pure and Applied Logic 143 (1-3):20-28.
Grouplike Minimal Sets in ACFA and in T A.Alice Medvedev - 2010 - Journal of Symbolic Logic 75 (4):1462-1488.
2010 North American Annual Meeting of the Association for Symbolic Logic.Reed Solomon - 2011 - Bulletin of Symbolic Logic 17 (1):127-154.
View all 6 citations / Add more citations
Similar books and articles
On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Löwenheim Theorems and Compactness of Related Quantifiers.Matatyahu Rubin & Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (2):265-283.
Expansions of Models of Ω-Stable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Löb's Theorem in a Set Theoretical Setting.Cezary Cieśliński - 2003 - Studia Logica 75 (3):319 - 326.
Model Companions and K-Model Completeness for the Complete Theories of Boolean Algebras.J. Mead & G. C. Nelson - 1980 - Journal of Symbolic Logic 45 (1):47-55.
Simple Stable Homogeneous Groups.Alexander Berenstein - 2003 - Journal of Symbolic Logic 68 (4):1145-1162.
Model Companions for Finitely Generated Universal Horn Classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
The Inapplicability of Evolutionarily Stable Strategy to the Prisoner's Dilemma.Louis Marinoff - 1990 - British Journal for the Philosophy of Science 41 (4):461-472.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Regular Types in Nonmultidimensional Ω-Stable Theories.Anand Pillay - 1984 - Journal of Symbolic Logic 49 (3):880-891.
Analytics
Added to PP index
2010-08-24
Total views
32 ( #326,459 of 2,421,445 )
Recent downloads (6 months)
2 ( #351,589 of 2,421,445 )
2010-08-24
Total views
32 ( #326,459 of 2,421,445 )
Recent downloads (6 months)
2 ( #351,589 of 2,421,445 )
How can I increase my downloads?
Downloads