Abstract
We build an א₁-categorical but not א₀-categorical theory whose only computably presentable model is the saturated one. As a tool, we introduce a notion related to limitwise monotonic functions
Keywords computable structure   aleph 1-categoricity
Categories (categorize this paper)
DOI 10.1305/ndjfl/1143468311
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: 72,607
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.
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.
Recursively Presentable Prime Models.Leo Harrington - 1974 - Journal of Symbolic Logic 39 (2):305-309.
A New Spectrum of Recursive Models.André Nies - 1999 - Notre Dame Journal of Formal Logic 40 (3):307-314.

Add more references

Citations of this work BETA

Automatic Models of First Order Theories.Pavel Semukhin & Frank Stephan - 2013 - Annals of Pure and Applied Logic 164 (9):837-854.

Add more citations

Similar books and articles

Generic Expansions of Countable Models.Silvia Barbina & Domenico Zambella - 2012 - Notre Dame Journal of Formal Logic 53 (4):511-523.
Kueker's Conjecture for Superstable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (3):930-934.
Saturated Model Theory.Gerald E. Sacks - 1972 - Reading, Mass., W. A. Benjamin.
A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory.Joël Combase - 2011 - Notre Dame Journal of Formal Logic 52 (4):415-429.

Analytics

Added to PP index
2010-08-24

Total views
12 ( #815,712 of 2,533,634 )

Recent downloads (6 months)
1 ( #389,998 of 2,533,634 )

How can I increase my downloads?

Downloads

My notes