Notre Dame Journal of Formal Logic 40 (3):307-314 (1999)
We describe a strongly minimal theory S in an effective language such that, in the chain of countable models of S, only the second model has a computable presentation. Thus there is a spectrum of an -categorical theory which is neither upward nor downward closed. We also give an upper bound on the complexity of spectra
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Classifying Model-Theoretic Properties.Chris J. Conidis - 2008 - Journal of Symbolic Logic 73 (3):885-905.
Computability-Theoretic Complexity of Countable Structures.Valentina S. Harizanov - 2002 - Bulletin of Symbolic Logic 8 (4):457-477.
A New Spectrum of Recursive Models Using an Amalgamation Construction.Uri Andrews - 2011 - Journal of Symbolic Logic 76 (3):883 - 896.
Similar books and articles
Theories of Arithmetics in Finite Models.M. Krynicki & K. Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Nonstandard Characterizations of Recursive Saturation and Resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
The Cofinality Spectrum of the Infinite Symmetric Group.Saharon Shelah & Simon Thomas - 1997 - Journal of Symbolic Logic 62 (3):902-916.
Spectrum Inversion Without a Difference in Representation is Impossible.Jeff Speaks - 2011 - Philosophical Studies 156 (3):339-361.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Conceptions and Misconceptions of Connectionism.Ron Sun - 2003 - Behavioral and Brain Sciences 26 (5):621-621.
An Axiomatic Characterization of Causal Counterfactuals.David Galles & Judea Pearl - 1998 - Foundations of Science 3 (1):151-182.
Sorry, there are not enough data points to plot this chart.
Added to index2010-08-24
Total downloads1 ( #841,869 of 2,143,563 )
Recent downloads (6 months)1 ( #386,855 of 2,143,563 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.