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

Categories

Keywords

Reprint years

2005

DOI

10.1007/s00153-005-0323-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

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

Through your library

My notes

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.
Sufficient triangular norms in many-valued logics with standard negation.Dan Butnariu, Erich Peter Klement, Radko Mesiar & Mirko Navara - 2005 - Archive for Mathematical Logic 44 (7):829-849.
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.
Countable models of trivial theories which admit finite coding.James Loveys & Predrag Tanović - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.
Small substructures and decidability issues for first-order logic with two variables.Emanuel Kieroński & Martin Otto - 2012 - Journal of Symbolic Logic 77 (3):729-765.
All the Existences that There Are.Alberto Voltolini - 2012 - Disputatio 4 (32):361-383.

Analytics

Added to PP
2013-12-01

Downloads
26 (#596,950)

6 months
5 (#638,139)

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.
Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
On definability of types of finite Cantor-Bendixson rank.Predrag Tanovic - 2011 - Mathematical Logic Quarterly 57 (3):256-260.

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.
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 9 references / Add more references