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
540 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
5 Computable trees, prime models, and relative decidability – Denis R. Hirschfeldt - 2005
3 Soare, Bounding homogeneous models – Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
Effective Algebra and Effective Dimension By – Daniel Turetsky
INDUCTION, BOUNDING, WEAK COMBINATORIAL PRINCIPLES, AND THE HOMOGENEOUS MODEL THEOREM – Denis R. Hirschfeldt, Karen Lange, Richard, A. Shore - 2014
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
3 Trivial, strongly minimal theories are model complete after naming constants – Sergey S. Goncharov, Valentina S. Harizanov, Michael C. Laskowski, Steffen Lempp, Charles F. D. McCoy - 2002
2. Basic Results 4 – W. Calvert, J. E. Porter - 803
Models with High Scott Rank – Cameron Eric Freer - 2008
7 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
7 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