Theories with constants and three countable models

Archive for Mathematical Logic 46 (5-6):517-527 (2007)
  Copy   BIBTEX

Abstract

We prove that a countable, complete, first-order theory with infinite dcl( $ \theta $ ) and precisely three non-isomorphic countable models interprets a variant of Ehrenfeucht’s or Peretyatkin’s example

Categories

Keywords

Reprint years

DOI

10.1007/s00153-007-0054-2

Links

PhilArchive



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

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

On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
A note on countable complete theories having three isomorphism types of countable models.Robert E. Woodrow - 1976 - Journal of Symbolic Logic 41 (3):672-680.
Countable models of trivial theories which admit finite coding.James Loveys & Predrag Tanović - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
A note on countable models of 1-based theories.Predrag Tanovic - 2002 - Archive for Mathematical Logic 41 (7):669-671.
End extensions and numbers of countable models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
Theories with a finite number of countable models.Robert E. Woodrow - 1978 - Journal of Symbolic Logic 43 (3):442-455.
Simple groups and the number of countable models.Predrag Tanović - 2013 - Archive for Mathematical Logic 52 (7-8):779-791.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Modèles saturés et modèles engendrés Par Des indiscernables.Benoît Mariou - 2001 - Journal of Symbolic Logic 66 (1):325-348.
Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
On uniqueness of prime models.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (2):215-220.
Model theory without choice? Categoricity.Saharon Shelan - 2009 - Journal of Symbolic Logic 74 (2):361-401.

Analytics

Added to PP
2013-11-23

Downloads
10 (#1,165,120)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semi-Isolation and the Strict Order Property.Sergey Sudoplatov & Predrag Tanović - 2015 - Notre Dame Journal of Formal Logic 56 (4):555-572.
Asymmetric RK-minimal types.Predrag Tanović - 2010 - Archive for Mathematical Logic 49 (3):367-377.

Add more citations

References found in this work

Meager forking.Ludomir Newelski - 1994 - Annals of Pure and Applied Logic 70 (2):141-175.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Theories with a finite number of countable models.Robert E. Woodrow - 1978 - Journal of Symbolic Logic 43 (3):442-455.
On Theories Having Three Countable Models.Koichiro Ikeda, Akito Tsuboi & Anand Pillay - 1998 - Mathematical Logic Quarterly 44 (2):161-166.

View all 7 references / Add more references