Computable Models of Theories with Few Models

Notre Dame Journal of Formal Logic 38 (2):165-178 (1997)

Abstract

In this paper we investigate computable models of -categorical theories and Ehrenfeucht theories. For instance, we give an example of an -categorical but not -categorical theory such that all the countable models of except its prime model have computable presentations. We also show that there exists an -categorical but not -categorical theory such that all the countable models of except the saturated model, have computable presentations

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,856

External links

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

Through your library

Analytics

Added to PP
2010-08-24

Downloads
27 (#428,531)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

On Strongly Minimal Sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Recursively Presentable Prime Models.Leo Harrington - 1974 - Journal of Symbolic Logic 39 (2):305-309.
Recursively Presentable Prime Models.Leo Harrington & Terrence S. Millar - 1984 - Journal of Symbolic Logic 49 (2):671-672.

Add more references

Citations of this work

Scott sentences for equivalence structures.Sara B. Quinn - 2020 - Archive for Mathematical Logic 59 (3-4):453-460.
On Δ 2 0 -Categoricity of Equivalence Relations.Rod Downey, Alexander G. Melnikov & Keng Meng Ng - 2015 - Annals of Pure and Applied Logic 166 (9):851-880.
Computable Abelian Groups.Alexander G. Melnikov - 2014 - Bulletin of Symbolic Logic 20 (3):315-356,.

View all 25 citations / Add more citations

Similar books and articles

Economic Models as Mini-Theories.Steven Rappaport - 2001 - Journal of Economic Methodology 8 (2):275-285.
Programs, Models, Theories, and Reality.Robert I. Damper - 2001 - Behavioral and Brain Sciences 24 (6):1055-1056.
1-Based Theories — the Main Gap for a -Models.B. Hart, A. Pillay & S. Starchenko - 1995 - Archive for Mathematical Logic 34 (5):285-300.
Theories with a Finite Number of Countable Models.Robert E. Woodrow - 1978 - Journal of Symbolic Logic 43 (3):442-455.
Models and Theories.Axel Leijonhufvud - 1997 - Journal of Economic Methodology 4 (2):193-198.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
Transplendent Models: Expansions Omitting a Type.Fredrik Engström & Richard W. Kaye - 2012 - Notre Dame Journal of Formal Logic 53 (3):413-428.
Scientific Theories, Models and the Semantic Approach.Krause Décio & Bueno Otávio - 2007 - Principia: An International Journal of Epistemology 11 (2):187-201.