-
1
Decidability and undecidability of theories with a predicate for the primes
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
2
-
3
Jumps of Orderings
Veröffentlicht in Transactions of the American Mathematical Society
VolltextArtikel -
4
Degrees of orderings not isomorphic to recursive linear orderings
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
5
-
6
-
7
Ramsey's theorem for computably enumerable colorings
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
8
T-Degrees, Jump Classes, and Strong Reducibilities
Veröffentlicht in Transactions of the American Mathematical Society
VolltextArtikel -
9
-
10
PI1º-classes and Rado's selection principle
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
11
Π10-classes and rado's selection principle
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
12
-
13
-
14
A degree theoretic definition of the ramified analytic hierarchy
Veröffentlicht in Annals of Mathematical Logic
VolltextArtikel -
15
Simple Proofs of Some Theorems on High Degrees of Unsolvability
Veröffentlicht in Canadian journal of mathematics
VolltextArtikel -
16
-
17
Countable retracing functions and Π 2 0 predicates
Veröffentlicht in Pacific journal of mathematics
VolltextArtikel -
18
Upward closure and cohesive degrees
Veröffentlicht in Israel journal of mathematics
VolltextArtikel -
19
-
20