A characterization of determinacy for Turing degree games E. Kleinberg (1973) Fundamenta Mathematicae
A decidable ℵ 0 -categorical theory with a non-recursive Ryll-Nardzewski function James Schmerl (1978) Fundamenta Mathematicae
A note on initial segments below O̰ ' Antonín Kučera (1989) Commentationes Mathematicae Universitatis Carolinae
Boolean algebras, splitting theorems, and Δ 2 0 sets Michael Morley, Robert Soare (1975) Fundamenta Mathematicae
Charakterisierung der Aufzählungsreduzierbarkeit. Friedrich Hebeisen (1978) Archiv für mathematische Logik und Grundlagenforschung
Combinatorial systems defined over one- and two-letter alphabets. Ch.E. Hughes, W.E. Singletary (1975) Archiv für mathematische Logik und Grundlagenforschung
Complete index sets of recursively enumerable families T. G. McLaughlin (1972) Compositio Mathematica
Cupping and noncapping in the R.E. weak truth table and turing degrees. Klaus Ambos-Spies (1985) Archiv für mathematische Logik und Grundlagenforschung
Die m-Grade logischer Entscheidungsprobleme. E. Börger, Klaus Heidler (1975) Archiv für mathematische Logik und Grundlagenforschung
Embedding lattices in the Kleene degrees Hisato Muraki (1999) Fundamenta Mathematicae Under ZFC+CH, we prove that some lattices whose cardinalities do not exceed ℵ 1 can be embedded in some local structures of Kleene degrees.
Halteprobleme von Fang-Systemen (Tag Systems). Bernhard Falkenberg (1980) Archiv für mathematische Logik und Grundlagenforschung