Infinite Time Turing Machines and an Application to the Hierarchy of Equivalence Relations on the Reals
Document Type
Contribution to Books
Publication Date
10-2013
Publication Information
Coskey, Samuel and Hamkins, Joel David. (2013). "Infinite Time Turing Machines and an Application to the Hierarchy of Equivalence Relations on the Reals". Effective Mathematics of the Uncountable, 33-49.
COinS
Comments
Effective Mathematics of the Uncountable is volume 41 of the "Lecture Notes in Logic" series.