Journal of Symbolic Logic 65 (3):1215-1222 (2000)
| Abstract |
For a theory T in L, T σ is the theory of the models of T with an automorphism σ. If T is an unstable model complete theory without the independence property, then T σ has no model companion. If T is an unstable model complete theory and T σ has the amalgamation property, then T σ has no model companion. If T is model complete and has the fcp, then T σ has no model completion
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2586697 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,959
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
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.
The Definable Multiplicity Property and Generic Automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
Model Companions of $T_{\rm Aut}$ for Stable T.John T. Baldwin & Saharon Shelah - 2001 - Notre Dame Journal of Formal Logic 42 (3):129-142.
Model Companions of for Stable T.John T. Baldwin & Saharon Shelah - 2001 - Notre Dame Journal of Formal Logic 42 (3):129-142.
Generic Expansions of Countable Models.Silvia Barbina & Domenico Zambella - 2012 - Notre Dame Journal of Formal Logic 53 (4):511-523.
View all 8 citations / Add more citations
Similar books and articles
The Standard Model and Beyond: Interrelation Between Theory and Reality.Vladimir Slobodenyuk - unknown
Automorphisms Moving All Non-Algebraic Points and an Application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
Model Companions for Finitely Generated Universal Horn Classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
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.
On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Modèles Saturés Et Modèles Engendrés Par Des Indiscernables.Benoît Mariou - 2001 - Journal of Symbolic Logic 66 (1):325-348.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
On Automorphism Groups of Countable Structures.Su Gao - 1998 - Journal of Symbolic Logic 63 (3):891-896.
The Strict Order Property and Generic Automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Analytics
Added to PP index
2009-01-28
Total views
16 ( #665,212 of 2,504,817 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,817 )
2009-01-28
Total views
16 ( #665,212 of 2,504,817 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,817 )
How can I increase my downloads?
Downloads
