Michael Deveau, Department of Pure Mathematics, University of Waterloo
“Hereditarily Finite Superstructures - Part 2”
Now that we have defined the hereditarily finite superstructure and noted some of its important computability-theoretic properties, we state and prove the main result, which shows how the notion of riceness can be generalized using these superstructures. We shall also see explicitly how the definability of Kleene’s T predicate in these structures plays a key role in the proof.
MC 5417