Degree spectra of prime models (2004)


Download Links

by Barbara F. Csima
Venue:J. Symbolic Logic
Citations:7 - 2 self

Active Bibliography

5 Computable trees, prime models, and relative decidability – Denis R. Hirschfeldt - 2005
2 Soare, Bounding homogeneous models – Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
5 Questions in Computable Algebra and Combinatorics – Rod Downey, J. B. Remmel - 1999
1 Degree spectra and immunity properties – Barbara F. Csima, Iskander S. Kalimullin - 2009
Russian Academy of Sciences, Siberian Branch – Andrey Frolov, Valentina Harizanov, Iskander Kalimullin, Russell Miller - 2010
5 The atomic model theorem and type omitting – Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman
3 The atomic model theorem – Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman
7 Computable categoricity of trees of finite height – Charles Mccoy, Russell Miller, Reed Solomon
4 Enumerations in computable structure theory – Sergey Goncharov, Valentina Harizanov, Charles Mccoy, Julia Knight, Russell Miller, Reed Solomon
2 Computability of Fraïssé limits – Barbara F. Csima, Valentina S. Harizanov, Russell Miller, Antonio Montalbán
1 On mass problems of presentability – Alexey Stukachev - 2006
33 Degree spectra and computable dimension in algebraic structures – Denis R. Hirschfeldt, Richard A. Shore - 2002
2 Computability, Definability and Algebraic Structures – Rod Downey - 1999
unknown title – unknown authors
5 Turing degrees of the isomorphism types of algebraic objects – Valentina Harizanov, Wesley Calvert, Alexandra
Computably Presentable Models of Theories with Few Models – Bakhadyr Khoussainov, Andre Nies, Richard A. Shore - 1996
18 Effective model theory: the number of models and their complexity – Bakhadyr Khoussainov, Richard A. Shore - 1999
6 Characterizations for Computable Structures – Walker McMillan White - 2000