|
12
|
countable structures, and Turing degrees
– S Wehner, Enumerations
- 1998
|
|
30
|
Degrees coded into jumps of orderings
– J F Knight
- 1986
|
|
21
|
Degrees of structures
– Linda Jean Richter
- 1981
|
|
7
|
The ∆0 2-spectrum of a linear order
– Russell Miller
|
|
13
|
Effective model theory: the number of models and their complexity
– Bakhadyr Khoussainov, Richard A. Shore
- 1999
|
|
411
|
Recursively Enumerable Sets and Degrees
– Robert I Soare
- 1987
|
|
13
|
On Presentations of Algebraic Structures
– Rod Downey
- 1995
|
|
23
|
Degree spectra and computable dimension in algebraic structures
– Denis R. Hirschfeldt, Richard A. Shore
- 2002
|
|
15
|
Intrinsically recursive relations
– C J Ash, A Nerode
- 1981
|
|
19
|
The Possible Turing Degree of the Nonzero Member in a two Element Degree Spectra, Annals of Pure and Applied Logic 55
– V Harizanov
- 1991
|
|
9
|
Degree Spectra of Relations on Computable Structures
– Denis R. Hirschfeldt
- 1999
|
|
18
|
Recursively Categorical Linear Orderings
– J B Remmel
|
|
10
|
Pure computable model theory, Handbook of Recursive Mathematics
– V Harizanov
- 1999
|
|
11
|
Soare, Bounding prime models
– B F Csima, D R Hirschfeldt, J F Knight, R I
|
|
19
|
Foundations of recursive model theory
– T S Millar
- 1978
|
|
8
|
Pure Computable Model Theory
– Valentina S Harizanov
|
|
26
|
1989], Generic copies of countable structures
– C Ash, J Knight, M Manasse, T Slaman
|
|
23
|
Computably categorical structures and expansions by constants
– Peter Cholak, Sergey Goncharov, Bakhadyr Khoussainov, Richard A. Shore
- 1999
|
|
17
|
The Problem of Nonautoequivalent Constructivizations, Algebra and Logic 19
– S S Goncharov
- 1980
|
