- Effective 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.

[Bibtex]`@BOOK{EMU, AUTHOR = {}, editor = {N.~Greenberg and J.~D.~Hamkins and D.~R.~Hirschfeldt and R.~G.~Miller}, TITLE = {{Effective Mathematics of the Uncountable}}, PUBLISHER = {Cambridge University Press, ASL Lecture Notes in Logic}, YEAR = {2013}, volume = {41}, number = {}, series = {}, address = {}, edition = {}, month = {}, note = {}, abstract = {}, isbn = {9781107014510}, price = {}, keywords = {book}, url = {http://wp.me/s5M0LV-emu}, source = {}, }`

- 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.
- Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals
- S. Coskey and J. D. Hamkins, “Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals,” in Effective Mathematics of the Uncountable, Assoc. Symbol. Logic, La Jolla, CA, 2013, vol. 41, p. 33–49.

[Bibtex]`@incollection {CoskeyHamkins2013:ITTMandApplicationsToEquivRelations, AUTHOR = {Coskey, Samuel and Hamkins, Joel David}, TITLE = {Infinite time {T}uring machines and an application to the hierarchy of equivalence relations on the reals}, BOOKTITLE = {{Effective Mathematics of the Uncountable}}, SERIES = {Lect. Notes Log.}, VOLUME = {41}, PAGES = {33--49}, PUBLISHER = {Assoc. Symbol. Logic, La Jolla, CA}, YEAR = {2013}, MRCLASS = {03D30 (03D60 03E15)}, MRNUMBER = {3205053}, eprint = {1101.1864}, archivePrefix = {arXiv}, primaryClass = {math.LO}, url = {http://jdh.hamkins.org/ittms-and-applications/}, }`

- S. Coskey and J. D. Hamkins, “Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals,” in Effective Mathematics of the Uncountable, Assoc. Symbol. Logic, La Jolla, CA, 2013, vol. 41, p. 33–49.
- Infinite time decidable equivalence relation theory
- S. Coskey and J. D. Hamkins, “Infinite time decidable equivalence relation theory,” Notre Dame Journal of Formal Logic, vol. 52, iss. 2, p. 203–228, 2011.

[Bibtex]`@ARTICLE{CoskeyHamkins2011:InfiniteTimeComputableEquivalenceRelations, AUTHOR = {Coskey, Samuel and Hamkins, Joel David}, TITLE = {Infinite time decidable equivalence relation theory}, JOURNAL = {Notre Dame Journal of Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {52}, YEAR = {2011}, NUMBER = {2}, PAGES = {203--228}, ISSN = {0029-4527}, MRCLASS = {03D65 (03D30 03E15)}, MRNUMBER = {2794652}, DOI = {10.1215/00294527-1306199}, URL = {http://wp.me/p5M0LV-3M}, eprint = "0910.4616", archivePrefix = {arXiv}, primaryClass = {math.LO}, }`

- S. Coskey and J. D. Hamkins, “Infinite time decidable equivalence relation theory,” Notre Dame Journal of Formal Logic, vol. 52, iss. 2, p. 203–228, 2011.
- Post's problem for ordinal register machines: an explicit approach
- J. D. Hamkins and R. G. Miller, “Post’s problem for ordinal register machines: an explicit approach,” Ann.~Pure Appl.~Logic, vol. 160, iss. 3, p. 302–309, 2009.

[Bibtex]`@ARTICLE{HamkinsMiller2009:PostsProblemForORMsExplicitApproach, AUTHOR = {Hamkins, Joel David and Miller, Russell G.}, TITLE = {Post's problem for ordinal register machines: an explicit approach}, JOURNAL = {Ann.~Pure Appl.~Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {160}, YEAR = {2009}, NUMBER = {3}, PAGES = {302--309}, ISSN = {0168-0072}, CODEN = {APALD7}, MRCLASS = {03D60 (03D10)}, MRNUMBER = {2555781 (2010m:03086)}, MRREVIEWER = {Robert S.~Lubarsky}, DOI = {10.1016/j.apal.2009.01.004}, URL = {http://wp.me/p5M0LV-3C}, file = F, }`

- J. D. Hamkins and R. G. Miller, “Post’s problem for ordinal register machines: an explicit approach,” Ann.~Pure Appl.~Logic, vol. 160, iss. 3, p. 302–309, 2009.
- 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 A. Sorbi, Eds., Springer, 2008, p. 521–557.

[Bibtex]`@INCOLLECTION{HamkinsMillerSeaboldWarner2007:InfiniteTimeComputableModelTheory, AUTHOR = {Hamkins, Joel David and Miller, Russell and Seabold, Daniel and Warner, Steve}, TITLE = {Infinite time computable model theory}, BOOKTITLE = "{New Computational Paradigms: Changing Conceptions of What is Computable}", PAGES = {521--557}, PUBLISHER = {Springer}, ADDRESS = {}, YEAR = {2008}, MRCLASS = {03C57 (03D10)}, MRNUMBER = {2762096}, editor = {S. B. Cooper and Benedikt Löwe and Andrea Sorbi}, isbn = "0-387-36033-6", file = F, url = {http://wp.me/p5M0LV-3t}, }`

- 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 A. Sorbi, Eds., Springer, 2008, p. 521–557.
- A survey of infinite time Turing machines
- J. D. Hamkins, “A Survey of Infinite Time Turing Machines,” in Machines, Computations, and Universality – 5th International Conference MCU 2007, Orleans, France, 2007, p. 62–71.

[Bibtex]`@INPROCEEDINGS{Hamkins2007:ASurveyOfInfiniteTimeTuringMachines, AUTHOR = "Joel David Hamkins", TITLE = "A Survey of Infinite Time {T}uring Machines", BOOKTITLE = "{Machines, Computations, and Universality - 5th International Conference MCU 2007}", YEAR = "2007", editor = "{J\'er\^ ome} Durand-Lose and Maurice Margenstern", volume = "4664", number = "", series = "Lecture Notes in Computer Science", pages = "62--71", address = "Orleans, France", month = "", organization = "", publisher = "", note = "", abstract = "", keywords = "", doi = {10.1007/978-3-540-74593-8_5}, file = F, url = {http://wp.me/p5M0LV-3d}, }`

- J. D. Hamkins, “A Survey of Infinite Time Turing Machines,” in Machines, Computations, and Universality – 5th International Conference MCU 2007, Orleans, France, 2007, p. 62–71.
- The complexity of quickly decidable ORM-decidable sets
- J. D. Hamkins, D. Linetsky, and R. Miller, “The Complexity of Quickly Decidable ORM-Decidable Sets,” in Computation and Logic in the Real World – CiE 2007, Siena, Italy, 2007, p. 488–496.

[Bibtex]`@INPROCEEDINGS{HamkinsLinetskyMiller2007:ComplexityOfQuicklyDecidableORMSets, AUTHOR = "Joel David Hamkins and David Linetsky and Russell Miller", TITLE = "The Complexity of Quickly Decidable {ORM}-Decidable Sets", BOOKTITLE = "{Computation and Logic in the Real World - CiE 2007}", YEAR = "2007", editor = "B. Cooper and B. Löwe and A.~Sorbi", volume = "4497", number = "", series = "Proc.~LNCS", pages = "488--496", address = "Siena, Italy", month = "", organization = "", publisher = "", note = "", abstract = "", keywords = "", doi = {10.1007/978-3-540-73001-9_51}, ee = {}, bibsource = {DBLP, http://dblp.uni-trier.de}, file = F, url = {http://wp.me/p5M0LV-3b}, }`

- J. D. Hamkins, D. Linetsky, and R. Miller, “The Complexity of Quickly Decidable ORM-Decidable Sets,” in Computation and Logic in the Real World – CiE 2007, Siena, Italy, 2007, p. 488–496.
- Post's Problem for Ordinal Register Machines
- J. D. Hamkins and R. Miller, “Post’s Problem for Ordinal Register Machines,” in Computation and Logic in the Real World–-CiE 2007, Siena, Italy, 2007, pp. 358-367.

[Bibtex]`@INPROCEEDINGS{HamkinsMiller2007:PostsProblemForORMs, AUTHOR = "Joel David Hamkins and Russell Miller", TITLE = "Post's Problem for Ordinal Register Machines", BOOKTITLE = "{Computation and Logic in the Real World---CiE 2007}", YEAR = "2007", editor = "B. Cooper and B. Löwe and A.~Sorbi", volume = "4497", number = "", series = "Proc. LNCS", address = "Siena, Italy", month = "", organization = "", publisher = "", note = "", abstract = "", keywords = "", pages = {358-367}, doi = {10.1007/978-3-540-73001-9_37}, ee = {}, file = F, url = {http://wp.me/p5M0LV-39}, }`

- J. D. Hamkins and R. Miller, “Post’s Problem for Ordinal Register Machines,” in Computation and Logic in the Real World–-CiE 2007, Siena, Italy, 2007, pp. 358-367.
- ${\rm P}\neq{\rm NP}\cap\textrm{co-}{\rm NP}$ for infinite time Turing machines
- V. Deolalikar, J. D. Hamkins, and R. Schindler, “P $\neq$ NP $\cap$ co-NP for infinite time Turing machines,” Journal of Logic and Computation, vol. 15, iss. 5, p. 577–592, 2005.

[Bibtex]`@ARTICLE{DeolalikarHamkinsSchindler2005:NPcoNP, AUTHOR = {Deolalikar, Vinay and Hamkins, Joel David and Schindler, Ralf}, TITLE = {P $\neq$ NP $\cap$ co-NP for infinite time {T}uring machines}, JOURNAL = {Journal of Logic and Computation}, VOLUME = {15}, YEAR = {2005}, NUMBER = {5}, PAGES = {577--592}, ISSN = {0955-792X}, MRCLASS = {68Q05 (03D05 68Q15)}, MRNUMBER = {2172411 (2006k:68026)}, MRREVIEWER = {Peter G.~Hinman}, DOI = {10.1093/logcom/exi022}, URL = {http://jdh.hamkins.org/np-conp/}, month = "October", eprint = {math/0307388}, archivePrefix = {arXiv}, primaryClass = {math.LO}, file = F, }`

- V. Deolalikar, J. D. Hamkins, and R. Schindler, “P $\neq$ NP $\cap$ co-NP for infinite time Turing machines,” Journal of Logic and Computation, vol. 15, iss. 5, p. 577–592, 2005.
- Infinitary computability with infinite time Turing machines
- J. D. Hamkins, “Infinitary computability with infinite time Turing machines,” in New Computational Paradigms, 2005.

[Bibtex]`@INPROCEEDINGS{Hamkins2005:InfinitaryComputabilityWithITTM, AUTHOR = "Joel David Hamkins", TITLE = "Infinitary computability with infinite time {Turing} machines", BOOKTITLE = "{New Computational Paradigms}", YEAR = "2005", editor = "B. Cooper and B. Löwe", volume = "3526", number = "", series = "LNCS", pages = "", address = "", month = "June 8-12", organization = "CiE", publisher = "Springer-Verlag", isbn = "3-540-26179-6", note = "", abstract = "", keywords = "", doi = {10.1007/11494645_22}, ee = {}, file = F, url = {http://wp.me/p5M0LV-2H}, }`

- J. D. Hamkins, “Infinitary computability with infinite time Turing machines,” in New Computational Paradigms, 2005.
- Supertask computation
- J. D. Hamkins, “Supertask computation,” in Classical and New Paradigms of Computation and their Complexity Hierarchies, Dordrecht, 2004, p. 141–158, Papers of the conference “Foundations of the Formal Sciences III” held in Vienna, September 21-24, 2001.

[Bibtex]`@INPROCEEDINGS{Hamkins2004:SupertaskComputation, AUTHOR = {Hamkins, Joel David}, TITLE = {Supertask computation}, BOOKTITLE = {{Classical and New Paradigms of Computation and their Complexity Hierarchies}}, SERIES = {Trends Log.~Stud.~Log.~Libr.}, VOLUME = {23}, PAGES = {141--158}, PUBLISHER = {Kluwer Acad.~Publ.}, ADDRESS = {Dordrecht}, YEAR = {2004}, MRCLASS = {03D10 (03D25 68Q05)}, MRNUMBER = {2155535}, DOI = {10.1007/978-1-4020-2776-5_8}, URL = {http://jdh.hamkins.org/supertaskcomputation/}, note = {Papers of the conference ``Foundations of the Formal Sciences III'' held in Vienna, September 21-24, 2001}, eprint = {math/0212049}, archivePrefix = {arXiv}, primaryClass = {math.LO}, file = F, }`

- J. D. Hamkins, “Supertask computation,” in Classical and New Paradigms of Computation and their Complexity Hierarchies, Dordrecht, 2004, p. 141–158, Papers of the conference “Foundations of the Formal Sciences III” held in Vienna, September 21-24, 2001.
- ${\rm P}^f\neq {\rm NP}^f$ for almost all $f$
- J. D. Hamkins and P. D. Welch, “${\rm P}^f\neq {\rm NP}^f$ for almost all $f$,” Math.~Logic Q., vol. 49, iss. 5, p. 536–540, 2003.

[Bibtex]`@ARTICLE{HamkinsWelch2003:PfneqNPf, AUTHOR = {Hamkins, Joel David and Welch, Philip D.}, TITLE = {{${\rm P}^f\neq {\rm NP}^f$} for almost all {$f$}}, JOURNAL = {Math.~Logic Q.}, FJOURNAL = {Mathematical Logic Quarterly}, VOLUME = {49}, YEAR = {2003}, NUMBER = {5}, PAGES = {536--540}, ISSN = {0942-5616}, MRCLASS = {03D65 (03D10 03E45 68Q05 68Q15)}, MRNUMBER = {1998405 (2004m:03163)}, MRREVIEWER = {Peter G.~Hinman}, DOI = {10.1002/malq.200310057}, URL = {http://jdh.hamkins.org/pf-npf/}, eprint = {math/0212046}, archivePrefix = {arXiv}, primaryClass = {math.LO}, }`

- J. D. Hamkins and P. D. Welch, “${\rm P}^f\neq {\rm NP}^f$ for almost all $f$,” Math.~Logic Q., vol. 49, iss. 5, p. 536–540, 2003.
- Post's problem for supertasks has both positive and negative solutions
- J. D. Hamkins and A. Lewis, “Post’s problem for supertasks has both positive and negative solutions,” Arch.~Math.~Logic, vol. 41, iss. 6, p. 507–523, 2002.

[Bibtex]`@article{HamkinsLewis2002:PostProblem, AUTHOR = {Hamkins, Joel David and Lewis, Andrew}, TITLE = {Post's problem for supertasks has both positive and negative solutions}, JOURNAL = {Arch.~Math.~Logic}, FJOURNAL = {Archive for Mathematical Logic}, VOLUME = {41}, YEAR = {2002}, NUMBER = {6}, PAGES = {507--523}, ISSN = {0933-5846}, CODEN = {AMLOEH}, MRCLASS = {03D10 (68Q05)}, MRNUMBER = {1923194 (2003f:03052)}, MRREVIEWER = {Robert M.~Baer}, DOI = {10.1007/s001530100112}, URL = {http://jdh.hamkins.org/postproblem/}, eprint = {math/9808128}, archivePrefix = {arXiv}, primaryClass = {math.LO}, }`

- J. D. Hamkins and A. Lewis, “Post’s problem for supertasks has both positive and negative solutions,” Arch.~Math.~Logic, vol. 41, iss. 6, p. 507–523, 2002.
- Infinite time Turing machines
- J. D. Hamkins, “Infinite time Turing machines,” Minds and Machines, vol. 12, iss. 4, p. 521–539, 2002.

[Bibtex]`@ARTICLE{Hamkins2002:Turing, author = {Joel David Hamkins}, title = {Infinite time {T}uring machines}, journal = {Minds and Machines}, year = {2002}, volume = {12}, number = {4}, pages = {521--539}, month = {}, note = {Special issue devoted to hypercomputation}, key = {}, annote = {}, eprint = {math/0212047}, archivePrefix = {arXiv}, primaryClass = {math.LO}, url = {http://wp.me/p5M0LV-2e}, }`

- J. D. Hamkins, “Infinite time Turing machines,” Minds and Machines, vol. 12, iss. 4, p. 521–539, 2002.
- Infinite time Turing machines with only one tape
- J. D. Hamkins and D. E. Seabold, “Infinite Time Turing Machines With Only One Tape,” Math.~Logic Q., vol. 47, iss. 2, p. 271–287, 2001.

[Bibtex]`@article{HamkinsSeabold2001:OneTape, author = {Hamkins, Joel David and Seabold, Daniel Evan}, title = {Infinite Time {Turing} Machines With Only One Tape}, journal = {Math.~Logic Q.}, volume = {47}, number = {2}, publisher = {WILEY-VCH Verlag Berlin GmbH}, issn = {1521-3870}, MRNUMBER = {1829946 (2002f:03074)}, url = {http://jdh.hamkins.org/onetape/}, doi = {10.1002/1521-3870(200105)47:2<271::AID-MALQ271>3.0.CO;2-6}, pages = {271--287}, keywords = {One-tape infinite Turing machine, Supertask computation}, year = {2001}, eprint = {math/9907044}, archivePrefix = {arXiv}, primaryClass = {math.LO}, }`

- J. D. Hamkins and D. E. Seabold, “Infinite Time Turing Machines With Only One Tape,” Math.~Logic Q., vol. 47, iss. 2, p. 271–287, 2001.
- Infinite time Turing machines
- J. D. Hamkins and A. Lewis, “Infinite time Turing machines,” Journal of Symbolic Logic, vol. 65, iss. 2, p. 567–604, 2000.

[Bibtex]`@article {HamkinsLewis2000:InfiniteTimeTM, AUTHOR = {Hamkins, Joel David and Lewis, Andy}, TITLE = {Infinite time {T}uring machines}, JOURNAL = {Journal of Symbolic Logic}, VOLUME = {65}, YEAR = {2000}, NUMBER = {2}, PAGES = {567--604}, ISSN = {0022-4812}, CODEN = {JSYLA6}, MRCLASS = {03D10 (03D25 68Q05)}, MRNUMBER = {1771072 (2001g:03072)}, MRREVIEWER = {Robert M.~Baer}, DOI = {10.2307/2586556}, URL = {http://jdh.hamkins.org/ittms/}, eprint = {math/9808093}, archivePrefix = {arXiv}, primaryClass = {math.LO}, }`

- J. D. Hamkins and A. Lewis, “Infinite time Turing machines,” Journal of Symbolic Logic, vol. 65, iss. 2, p. 567–604, 2000.

Pingback: A course in infinitary computability, Fall 2012, CUNY Graduate Center, CSC 85020 | Joel David Hamkins