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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1039724885
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,348
Through your library

References found in this work BETA

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 & Terrence S. Millar - 1984 - Journal of Symbolic Logic 49 (2):671-672.

Add more references

Citations of this work BETA

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.
Η-Representation of Sets and Degrees.Kenneth Harris - 2008 - Journal of Symbolic Logic 73 (4):1097-1121.

View all 22 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.

Analytics

Added to PP index
2010-08-24

Total views
26 ( #404,567 of 2,419,997 )

Recent downloads (6 months)
6 ( #124,106 of 2,419,997 )

How can I increase my downloads?

Downloads

My notes