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
542 Model Theory – Wilfrid Hodges - 2000
Effective Categoricity of Abelian p-Groups – Wesley Calvert, Douglas Cenzer, Valentina Harizanov, Andrei Morozov - 2007
Effective Categoricity of Equivalence Structures FINAL DRAFT – Wesley Calvert, Douglas Cenzer - 805
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
7 Π 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
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
7 Computable categoricity of trees of finite height – Charles Mccoy, Russell Miller, Reed Solomon
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