Kenneth Harris
Computability
[
pdf
]
η-Representation of Sets and Degrees
.
[
pdf
]
A Characterization of the low
n
Degrees by Escape Functions
.
[
pdf
]
On Bounding Saturated Models
.
[
pdf
]
The Reverse Mathematics of Saturated Models
.