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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals.Franklin D. Tall & Jing Zhang - 2024 - Archive for Mathematical Logic 63 (3):483-490.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
Hilbert spaces with generic groups of automorphisms.Alexander Berenstein - 2007 - Archive for Mathematical Logic 46 (3-4):289-299.
On linearly ordered sets and permutation groups of countable degree.Hans Läuchli & Peter M. Neumann - 1988 - Archive for Mathematical Logic 27 (2):189-192.
Interpreting the compositional truth predicate in models of arithmetic.Cezary Cieśliński - 2021 - Archive for Mathematical Logic 60 (6):749-770.
The small index property for countable superatomic boolean algebras.J. K. Truss - 2023 - Archive for Mathematical Logic 62 (7):991-1000.
A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes.Michael C. Laskowski & Saharon Shelah - 2019 - Archive for Mathematical Logic 58 (1-2):99-118.
The classification of countable models of set theory.John Clemens, Samuel Coskey & Samuel Dworetzky - 2020 - Mathematical Logic Quarterly 66 (2):182-189.

Analytics

Added to PP
2013-11-23

Downloads
23 (#952,686)

6 months
11 (#370,490)

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