Characterizations for Computable Structures (2000)

Cached

Download Links

by Walker McMillan White
Venue:CORNELL UNIVERSITY
Citations:6 - 0 self

Active Bibliography

18 Effective model theory: the number of models and their complexity – Bakhadyr Khoussainov, Richard A. Shore - 1999
7 The isomorphism problem for torsion-free abelian groups is analytic complete – Rod Downey, Antonio Montalbán - 2008
537 Model Theory – Wilfrid Hodges - 2000
Effective Categoricity of Abelian p-Groups – Wesley Calvert, Douglas Cenzer, Valentina Harizanov, Andrei Morozov - 2007
13 Effective Categoricity of Equivalence Structures – Wesley Calvert, Douglas Cenzer, Valentina Harizanov, Andrei Morozov - 2005
Effective Algebra and Effective Dimension By – Daniel Turetsky
1 Computable Structures: Presentations Matter – Richard A. Shore - 1999
6 Π 1 1 relations and paths through O – Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore
Models with High Scott Rank – Cameron Eric Freer - 2008
6 Computable categoricity of trees of finite height – Charles Mccoy, Russell Miller, Reed Solomon
3 The atomic model theorem – Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman
5 The atomic model theorem and type omitting – Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman
1 Open Problems in the Theory of Constructive Algebraic Systems – Sergey Goncharov, Bakhadyr Khoussainov - 2000
COMPUTABLE CATEGORICITY VERSUS RELATIVE COMPUTABLE CATEGORICITY – Rodney G. Downey, Asher M. Kach, Steffen Lempp, Daniel, D. Turetsky
5 Comparing classes of finite structures – W. Calvert, D. Cummins, J. F. Knight, S. Miller
3 On the Orbits of Computable Enumerable Sets – Peter A. Cholak, Rodney Downey, Leo A. Harrington - 2007
3 Degrees of Categoricity and the Hyperarithmetic Hierarchy – Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore - 2011
Computably Presentable Models of Theories with Few Models – Bakhadyr Khoussainov, Andre Nies, Richard A. Shore - 1996
1 A computable ℵ0-categorical structure whose theory computes true – Bakhadyr Khoussainov, Antonio, Montalb Án