Infinite time computable model theory
J. D. Hamkins, R. Miller, D. Seabold, and S. Warner, “Infinite time computable model theory,” in New Computational Paradigms: Changing Conceptions of What is Computable, S. B. \. Cooper, B. Löwe, and...
View ArticleInfinite time decidable equivalence relation theory
S. Coskey and J. D. Hamkins, “Infinite time decidable equivalence relation theory,” Notre Dame J. Form. Log., vol. 52, iss. 2, pp. 203-228, 2011. Journal MR Citation arχiv...
View ArticleInfinite time Turing machines and an application to the hierarchy of...
S. Coskey and J. D. Hamkins, “Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals,” Book chapter, ASL Lecture Notes in Logic NL volume Effective...
View ArticleEffective Mathemematics of the Uncountable
Effective Mathematics of the Uncountable, N. Greenberg, J. D. Hamkins, D. R. Hirschfeldt, and R. G. Miller, Eds., Cambridge University Press, ASL Lecture Notes in Logic, 2013, vol. 41. Citation...
View ArticleThe hierarchy of equivalence relations on the natural numbers under...
S. Coskey, J. D. Hamkins, and R. Miller, “The hierarchy of equivalence relations on the natural numbers under computable reducibility,” Computability, vol. 1, iss. 1, pp. 15-38, 2012. Journal...
View ArticleThe hierarchy of equivalence relations on the natural numbers under...
This will be a talk at The Incomputable, a workshop held June 12-15, 2012 at the Kavli Royal Society International Centre at Chicheley Hall as a part of the program Semantics and Syntax: A Legacy of...
View Article
More Pages to Explore .....