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
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

Our Archive


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

References found in this work BETA

No references found.

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.
Computable Shuffle Sums of Ordinals.Asher M. Kach - 2008 - Archive for Mathematical Logic 47 (3):211-219.

View all 18 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 ( #282,249 of 2,319,632 )

Recent downloads (6 months)
6 ( #223,883 of 2,319,632 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature