Graduate studies at Western
John Chisholm, Ekaterina B. Fokina, Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Sara Quinn
Journal of Symbolic Logic 74 (3):1047-1060 (2009)
|Abstract||We show that for every computable limit ordinal α, there is a computable structure A that is $\Delta _\alpha ^0 $ categorical, but not relatively $\Delta _\alpha ^0 $ categorical (equivalently. it does not have a formally $\Sigma _\alpha ^0 $ Scott family). We also show that for every computable limit ordinal a, there is a computable structure A with an additional relation R that is intrinsically $\Sigma _\alpha ^0 $ on A. but not relatively intrinsically $\Sigma _\alpha ^0 $ on A (equivalently, it is not definable by a computable $\Sigma _\alpha $ formula with finitely many parameters). Earlier results in , , and  establish the same facts for computable successor ordinals α|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Hrvoj Vančik (2003). Philosophy of Chemistry and Limits of Complexity. Foundations of Chemistry 5 (3):237-247.
Larisa Maksimova (2002). Complexity of Interpolation and Related Problems in Positive Calculi. Journal of Symbolic Logic 67 (1):397-408.
Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Richard A. Shore (2004). Π 1 1 Relations and Paths Through. Journal of Symbolic Logic 69 (2):585-611.
Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Richard A. Shore (2004). Π₁¹ Relations and Paths Through ᵊ. Journal of Symbolic Logic 69 (2):585 - 611.
Ekaterina B. Fokina, Sy-David Friedman, Valentina Harizanov, Julia F. Knight, Charles McCoy & Antonio Montalbán (2012). Isomorphism Relations on Computable Structures. Journal of Symbolic Logic 77 (1):122-132.
F. W. Kroon (1996). The Intrinsic Difficulty of Recursive Functions. Studia Logica 56 (3):427 - 454.
Juha Kontinen & Jakub Szymanik (2011). Characterizing Definability of Second-Order Generalized Quantifiers. In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Albert Newen & Kai Vogeley (2003). Self-Representation: Searching for a Neural Signature of Self-Consciousness. Consciousness and Cognition 12 (4):529-543.
Alexander Rueger & Patrick McGivern (2010). Hierarchies and Levels of Reality. Synthese 176 (3):379 - 397.
Sanjay Jain & Arun Sharma (1997). The Structure of Intrinsic Complexity of Learning. Journal of Symbolic Logic 62 (4):1187-1201.
Harold T. Hodes (1983). More About Uniform Upper Bounds on Ideals of Turing Degrees. Journal of Symbolic Logic 48 (2):441-457.
Daniel W. Cunningham (1998). The Fine Structure of Real Mice. Journal of Symbolic Logic 63 (3):937-994.
Adam J. Grove, Joseph Y. Halpern & Daphne Koller (1996). Asymptotic Conditional Probabilities: The Non-Unary Case. Journal of Symbolic Logic 61 (1):250-276.
Added to index2010-09-12
Total downloads3 ( #213,863 of 739,357 )
Recent downloads (6 months)1 ( #61,680 of 739,357 )
How can I increase my downloads?