- 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
The strict order property and generic automorphisms
Journal of Symbolic Logic 67 (1):214-216 (2002)
Abstract
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companionLinks
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- arxiv.org [3] (no proxy)
- projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (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
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The strength of the isomorphism property.Renling Jin & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):292-301.
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
Dispositional essentialism and the necessity of laws.Robin Findlay Hendry & Darrell Patrick Rowbottom - 2009 - Analysis 69 (4):668-677.
On generic structures with a strong amalgamation property.Koichiro Ikeda, Hirotaka Kikyo & Akito Tsuboi - 2009 - Journal of Symbolic Logic 74 (3):721-733.
Indiscernible sequences in a model which fails to have the order property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):115-123.
On orbits, of prompt and low computably enumerable sets.Kevin Wald - 2002 - Journal of Symbolic Logic 67 (2):649-678.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Analytics
Added to PP
2009-01-28
Downloads
81 (#211,198)
6 months
32 (#106,131)
2009-01-28
Downloads
81 (#211,198)
6 months
32 (#106,131)
Historical graph of downloads
Citations of this work
Model theoretic dynamics in Galois fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
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.
Existentially closed ordered difference fields and rings.Françoise Point - 2010 - Mathematical Logic Quarterly 56 (3):239-256.
Multiplicative valued difference fields.Koushik Pal - 2012 - Journal of Symbolic Logic 77 (2):545-579.
References found in this work
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.
Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
The definable multiplicity property and generic automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
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-8fb5884b9-rfnn7 uwo