"22" Result
Sort By:
A version of Harrington's [capital Greek]Delta₃-automorphism technique for the lattice of recursively enumerable sets is introduced and developed by reproving Soare's Extension Theorem. Then this automorphism technique is used to show two technical theorems: the High Extension T…
In the fall of 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoé Chatzidakis and Paola D'Aquino as visiting lecturers. Each of them presented a month-long series of expository lectures at the graduate level. This volume contains refined and expanded …
