On constants and the strict order property

Archive for Mathematical Logic 45 (4):423-430 (2006)
  Copy   BIBTEX

Abstract

Let T be a complete, countable, first-order theory with a finite number of countable models. Assuming that dcl(∅) is infinite we show that T has the strict order property

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,635

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Strict Order Property and Generic Automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Theories with Constants and Three Countable Models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
Nonexistence of Universal Orders in Many Cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.
Local Order Property in Nonelementary Classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
On Kueker's Conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
Asymmetric RK-Minimal Types.Predrag Tanović - 2010 - Archive for Mathematical Logic 49 (3):367-377.
Simple Groups and the Number of Countable Models.Predrag Tanović - 2013 - Archive for Mathematical Logic 52 (7-8):779-791.
A Remark on the Strict Order Property.A. H. Lachlan - 1975 - Mathematical Logic Quarterly 21 (1):69-70.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
Models with the Ω-Property.Roman Kossak - 1989 - Journal of Symbolic Logic 54 (1):177-189.
Classification and Interpretation.Andreas Baudisch - 1989 - Journal of Symbolic Logic 54 (1):138-159.
All the Existences That There Are.Alberto Voltolini - 2012 - Disputatio 4 (32):361-383.

Analytics

Added to PP
2013-12-01

Downloads
20 (#559,499)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Types Directed by Constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.
Minimal First-Order Structures.Predrag Tanović - 2011 - Annals of Pure and Applied Logic 162 (11):948-957.
On Kueker's Conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
Theories with Constants and Three Countable Models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
Asymmetric RK-Minimal Types.Predrag Tanović - 2010 - Archive for Mathematical Logic 49 (3):367-377.

View all 7 citations / Add more citations

References found in this work

Stable Theories, Pseudoplanes and the Number of Countable Models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.
Number of Countable Models.Anand Pillay - 1978 - Journal of Symbolic Logic 43 (3):492-496.
Finitely Based Theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):221-225.
Theories with a Finite Number of Countable Models.Robert E. Woodrow - 1978 - Journal of Symbolic Logic 43 (3):442-455.

View all 8 references / Add more references