# Publications

Detailed research profiles of me and my work, including citation and impact factor statistics, are available at

Reviews of my publications are available on

The full text of each of my articles listed here is available in pdf and other formats—just follow the links provided to the math arxiv for preprints or to the journal itself for the published version, if this is available.

(Due to technical difficulties with a plugin connecting to the database, only 65 publications will appear; I am working on it.)

• Upward closure and amalgamation in the generic multiverse of a countable model of set theory
• J. D. Hamkins, “Upward closure and amalgamation in the generic multiverse of a countable model of set theory.” (manuscript under review)
@ARTICLE{Hamkins:UpwardClosureAndAmalgamationInTheGenericMultiverse,
author = {Joel David Hamkins},
title = {Upward closure and amalgamation in the generic multiverse of a countable model of set theory},
journal = {},
year = {},
volume = {},
number = {},
pages = {},
month = {},
note = {manuscript under review},
url = {http://jdh.hamkins.org/upward-closure-and-amalgamation-in-the-generic-multiverse},
eprint = {1511.01074},
abstract = {},
keywords = {},
source = {},
}

• A position in infinite chess with game value $\omega^4$
• C.~D.~A.~Evans, J. D. Hamkins, and N. L. Perlmutter, “A position in infinite chess with game value $\omega^4$.” (manuscript under review)
@ARTICLE{EvansHamkinsPerlmutter:APositionInInfiniteChessWithGameValueOmega^4,
author = {C.~D.~A.~Evans and Joel David Hamkins and Norman Lewis Perlmutter},
title = {A position in infinite chess with game value $\omega^4$},
journal = {},
year = {},
volume = {},
number = {},
pages = {},
eprint = {1510.08155},
url = {http://jdh.hamkins.org/a-position-in-infinite-chess-with-game-value-omega-to-the-4},
month = {},
note = {manuscript under review},
abstract = {},
keywords = {},
source = {},
}

• Open determinacy for class games
• V. Gitman and J. D. Hamkins, “Open determinacy for class games.” (manuscript under review)
@ARTICLE{GitmanHamkins:OpenDeterminacyForClassGames,
author = {Victoria Gitman and Joel David Hamkins},
title = {Open determinacy for class games},
journal = {},
year = {},
volume = {},
number = {},
pages = {},
month = {},
note = {manuscript under review},
url = {http://jdh.hamkins.org/open-determinacy-for-class-games},
eprint = {1509.01099},
abstract = {},
keywords = {},
source = {},
}

• A mathematician’s year in Japan
• J. D. Hamkins, A Mathematician’s Year in Japan, author-published, via Amazon Kindle Direct Publishing, 2015. (ASIN:B00U618LM2, 156 pages, http://www.amazon.com/dp/B00U618LM2)
@BOOK{Hamkins2015:AMathematiciansYearInJapan,
author = {Joel David Hamkins},
title = {A {Mathematician's} {Year} in {Japan}},
publisher = {author-published, via Amazon Kindle Direct Publishing},
year = {2015},
month = {March},
url = {http://www.amazon.com/dp/B00U618LM2},
note = {ASIN:B00U618LM2, 156 pages, http://www.amazon.com/dp/B00U618LM2},
}

• Ehrenfeucht's lemma in set theory
• G. Fuchs, V. Gitman, and J. D. Hamkins, “Ehrenfeucht’s lemma in set theory,” to appear in Notre Dame Journal of Formal Logic.
@ARTICLE{FuchsGitmanHamkins:EhrenfeuchtsLemmaInSetTheory,
author = {Gunter Fuchs and Victoria Gitman and Joel David Hamkins},
title = {Ehrenfeucht's lemma in set theory},
journal = {to appear in Notre Dame Journal of Formal Logic},
year = {},
volume = {},
number = {},
pages = {},
month = {},
eprint = {1501.01918},
note = {},
url = {http://jdh.hamkins.org/ehrenfeuchts-lemma-in-set-theory},
abstract = {},
keywords = {},
source = {},
}

• Incomparable $\omega_1$-like models of set theory
• G. Fuchs, V. Gitman, and J. D. Hamkins, “Incomparable $\omega_1$-like models of set theory.” (manuscript under review)
@ARTICLE{FuchsGitmanHamkins:IncomparableOmega1-likeModelsOfSetTheory,
author = {Gunter Fuchs and Victoria Gitman and Joel David Hamkins},
title = {Incomparable $\omega_1$-like models of set theory},
journal = {},
year = {},
volume = {},
number = {},
pages = {},
month = {},
eprint = {1501.01022},
note = {manuscript under review},
url = {http://jdh.hamkins.org/incomparable-omega-one-like-models-of-set-theory},
abstract = {},
keywords = {},
source = {},
}

• Large cardinals need not be large in HOD
• Y. Cheng, S. Friedman, and J. D. Hamkins, “Large cardinals need not be large in HOD,” Annals of Pure and Applied Logic, vol. 166, iss. 11, pp. 1186-1198, 2015.
@ARTICLE{ChengFriedmanHamkins2015:LargeCardinalsNeedNotBeLargeInHOD,
title = "Large cardinals need not be large in {HOD} ",
journal = "Annals of Pure and Applied Logic ",
volume = "166",
number = "11",
pages = "1186 - 1198",
year = "2015",
note = "",
issn = "0168-0072",
doi = "10.1016/j.apal.2015.07.004",
eprint = {1407.6335},
url = {http://jdh.hamkins.org/large-cardinals-need-not-be-large-in-hod},
author = "Yong Cheng and Sy-David Friedman and Joel David Hamkins",
keywords = "Large cardinals",
keywords = "HOD",
keywords = "Forcing",
keywords = "Absoluteness ",
abstract = "Abstract We prove that large cardinals need not generally exhibit their large cardinal nature in HOD. For example, a supercompact cardinal κ need not be weakly compact in HOD, and there can be a proper class of supercompact cardinals in V, none of them weakly compact in HOD, with no supercompact cardinals in HOD. Similar results hold for many other types of large cardinals, such as measurable and strong cardinals. "
}

• Strongly uplifting cardinals and the boldface resurrection axioms
• J. D. Hamkins and T. Johnstone, “Strongly uplifting cardinals and the boldface resurrection axioms.” (under review, http://arxiv.org/abs/1403.2788)
@ARTICLE{HamkinsJohnstone:StronglyUpliftingCardinalsAndBoldfaceResurrection,
author = {Joel David Hamkins and Thomas Johnstone},
title = {Strongly uplifting cardinals and the boldface resurrection axioms},
journal = {},
year = {},
volume = {},
number = {},
pages = {},
month = {},
note = {under review, http://arxiv.org/abs/1403.2788},
eprint = {1403.2788},
url = {http://jdh.hamkins.org/strongly-uplifting-cardinals-and-boldface-resurrection},
abstract = {},
keywords = {},
source = {},
}

• Satisfaction is not absolute
• J. D. Hamkins and R. Yang, “Satisfaction is not absolute,” , pp. 1-34. (manuscript under review)
@ARTICLE{HamkinsYang:SatisfactionIsNotAbsolute,
author = {Joel David Hamkins and Ruizhi Yang},
title = {Satisfaction is not absolute},
journal = {},
year = {},
volume = {},
number = {},
pages = {1--34},
month = {},
note = {manuscript under review},
abstract = {},
keywords = {},
source = {},
eprint = {1312.0670},
url = {http://jdh.hamkins.org/satisfaction-is-not-absolute},
doi = {},
}

• The foundation axiom and elementary self-embeddings of the universe
• A. S. Daghighi, M. Golshani, J. Hamkins, and E. Jeřábek, “The foundation axiom and elementary self-embeddings of the universe,” in Infinity, computability, and metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, S. Geschke, B. Löwe, and P. Schlicht, Eds., Coll. Publ., London, 2014, vol. 23, pp. 89-112.
@incollection {DaghighiGolshaniHaminsJerabek2013:TheFoundationAxiomAndElementarySelfEmbeddingsOfTheUniverse,
David and Je{\v{r}}{\'a}bek, Emil},
TITLE = {The foundation axiom and elementary self-embeddings of the
universe},
BOOKTITLE = {Infinity, computability, and metamathematics:
Festschrift celebrating the 60th birthdays of Peter Koepke
and Philip Welch},
SERIES = {Tributes},
VOLUME = {23},
PAGES = {89--112},
PUBLISHER = {Coll. Publ., London},
EDITOR = {Geschke, Stefan and L\"owe, Benedikt and Schlicht, Philipp},
YEAR = {2014},
MRCLASS = {03E70 (03E30)},
MRNUMBER = {3307881},
eprint = {1311.0814},
url = {http://jdh.hamkins.org/the-role-of-foundation-in-the-kunen-inconsistency/},
}

• Resurrection axioms and uplifting cardinals
• J. D. Hamkins and T. Johnstone, “Resurrection axioms and uplifting cardinals,” Archive for Mathematical Logic, vol. 53, iss. 3-4, p. p.~463–485, 2014.
@ARTICLE{HamkinsJohnstone2014:ResurrectionAxiomsAndUpliftingCardinals,
AUTHOR = "Joel David Hamkins and Thomas Johnstone",
TITLE = "Resurrection axioms and uplifting cardinals",
JOURNAL = "Archive for Mathematical Logic",
publisher={Springer Berlin Heidelberg},
YEAR = "2014",
volume = "53",
number = "3-4",
pages = "p.~463--485",
month = "",
note = "",
url = "http://jdh.hamkins.org/resurrection-axioms-and-uplifting-cardinals",
eprint = "1307.3602",
doi= "10.1007/s00153-014-0374-y",
issn={0933-5846},
abstract = "",
keywords = "",
source = "",
file = F }

• Superstrong and other large cardinals are never Laver indestructible
• J. Bagaria, J. D. Hamkins, K. Tsaprounis, and T. Usuba, “Superstrong and other large cardinals are never Laver indestructible,” to appear in Archive for Mathematical Logic (special issue in honor of Richard Laver).
@ARTICLE{BagariaHamkinsTsaprounisUsuba:SuperstrongAndOtherLargeCardinalsAreNeverLaverIndestructible,
author = {Joan Bagaria and Joel David Hamkins and Konstantinos Tsaprounis and Toshimichi Usuba},
title = {Superstrong and other large cardinals are never {Laver} indestructible},
journal = {to appear in Archive for Mathematical Logic (special issue in honor of Richard Laver)},
year = {},
volume = {},
number = {},
pages = {},
month = {},
note = {},
abstract = {},
keywords = {},
eprint = {1307.3486},
url = {http://jdh.hamkins.org/superstrong-never-indestructible/},
comment = {http://jdh.hamkins.org/superstrong-never-indestructible/},
source = {},
}

• The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $\theta$-supercompact
• B. Cody, M. Gitik, J. D. Hamkins, and J. A. Schanker, “The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $\theta$-supercompact,” Archive for Mathematical Logic, pp. 1-20, 2015.
@article{CodyGitikHamkinsSchanker2015:LeastWeaklyCompact,
year={2015},
issn={0933-5846},
journal={Archive for Mathematical Logic},
doi={10.1007/s00153-015-0423-1},
title={The least weakly compact cardinal can be unfoldable, weakly measurable and nearly {$\theta$}-supercompact},
publisher={Springer Berlin Heidelberg},
keywords={Weakly compact; Unfoldable; Weakly measurable; Nearly supercompact; Identity crisis; Primary 03E55; 03E35},
author={Cody, Brent and Gitik, Moti and Hamkins, Joel David and Schanker, Jason A.},
pages={1--20},
language={English},
eprint = {1305.5961},
url={http://jdh.hamkins.org/least-weakly-compact},
}

• Algebraicity and implicit definability in set theory
• J. D. Hamkins and C. Leahy, “Algebraicity and implicit definability in set theory,” to appear in Notre Dame Journal of Formal Logic.
@ARTICLE{HamkinsLeahy:AlgebraicityAndImplicitDefinabilityInSetTheory,
author = {Joel David Hamkins and Cole Leahy},
title = {Algebraicity and implicit definability in set theory},
journal = {to appear in {N}otre {D}ame {J}ournal of {F}ormal {L}ogic},
year = {},
volume = {},
number = {},
pages = {},
month = {},
note = {},
url = {http://jdh.hamkins.org/algebraicity-and-implicit-definability},
eprint = {1305.5953},
abstract = {},
keywords = {},
source = {},
}

• Transfinite game values in infinite chess
• C.~D.~A.~Evans and J. D. Hamkins, “Transfinite game values in infinite chess,” Integers, vol. 14, p. Paper No.~G2, 36, 2014.
@ARTICLE{EvansHamkins2014:TransfiniteGameValuesInInfiniteChess,
AUTHOR = {C.~D.~A.~Evans and Joel David Hamkins},
TITLE = {Transfinite game values in infinite chess},
JOURNAL = {Integers},
FJOURNAL = {Integers Electronic Journal of Combinatorial Number Theory},
YEAR = {2014},
volume = {14},
number = {},
pages = {Paper No.~G2, 36},
month = {},
note = {},
eprint = {1302.4377},
url = {http://jdh.hamkins.org/game-values-in-infinite-chess},
ISSN = {1553-1732},
MRCLASS = {03Exx (91A46)},
MRNUMBER = {3225916},
abstract = {},
keywords = {},
source = {},
}

• A multiverse perspective on the axiom of constructiblity
• J. D. Hamkins, “A multiverse perspective on the axiom of constructibility,” in Infinity and truth, World Sci. Publ., Hackensack, NJ, 2014, vol. 25, pp. 25-45.
@incollection {Hamkins2014:MultiverseOnVeqL,
AUTHOR = {Hamkins, Joel David},
TITLE = {A multiverse perspective on the axiom of constructibility},
BOOKTITLE = {Infinity and truth},
SERIES = {Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap.},
VOLUME = {25},
PAGES = {25--45},
PUBLISHER = {World Sci. Publ., Hackensack, NJ},
YEAR = {2014},
MRCLASS = {03E45 (03A05)},
MRNUMBER = {3205072},
DOI = {10.1142/9789814571043_0002},
url = {http://jdh.hamkins.org/multiverse-perspective-on-constructibility/},
eprint = {1210.6541},
}

• A question for the mathematics oracle

At the Workshop on Infinity and Truth in Singapore last year, we had a special session in which the speakers were asked to imagine that they had been granted an audience with an all-knowing mathematical oracle, given the opportunity to ask …

• Moving up and down in the generic multiverse
• J. D. Hamkins and B. Löwe, “Moving up and down in the generic multiverse,” Logic and its Applications, ICLA 2013 LNCS, vol. 7750, pp. 139-147, 2013.
@ARTICLE{HamkinsLoewe2013:MovingUpAndDownInTheGenericMultiverse,
AUTHOR = {Joel David Hamkins and Benedikt L\"owe},
title = {Moving up and down in the generic multiverse},
journal = {Logic and its Applications, ICLA 2013 LNCS},
publisher={Springer Berlin Heidelberg},
editor={Lodaya, Kamal},
isbn={978-3-642-36038-1},
year = {2013},
volume = {7750},
number = {},
pages = {139--147},
doi={10.1007/978-3-642-36039-8_13},
month = {},
note = {},
url = {http://jdh.hamkins.org/up-and-down-in-the-generic-multiverse},
url = {http://arxiv.org/abs/1208.5061},
eprint = {1208.5061},
abstract = {},
keywords = {},
source = {},
}

• Structural connections between a forcing class and its modal logic
• J. D. Hamkins, G. Leibman, and B. Löwe, “Structural connections between a forcing class and its modal logic,” Israel J. Math., vol. 207, iss. 2, pp. 617-651, 2015.
@article {HamkinsLeibmanLoewe2015:StructuralConnectionsForcingClassAndItsModalLogic,
AUTHOR = {Hamkins, Joel David and Leibman, George and L{\"o}we,
Benedikt},
TITLE = {Structural connections between a forcing class and its modal
logic},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {207},
YEAR = {2015},
NUMBER = {2},
PAGES = {617--651},
ISSN = {0021-2172},
MRCLASS = {03E40 (03B45)},
MRNUMBER = {3359713},
DOI = {10.1007/s11856-015-1185-5},
url = {http://jdh.hamkins.org/a-forcing-class-and-its-modal-logic},
eprint = {1207.5841},
}

• Every countable model of set theory embeds into its own constructible universe
• J. D. Hamkins, “Every countable model of set theory embeds into its own constructible universe,” J. Math. Log., vol. 13, iss. 2, p. 1350006, 27, 2013.
@article {Hamkins2013:EveryCountableModelOfSetTheoryEmbedsIntoItsOwnL,
AUTHOR = {Hamkins, Joel David},
TITLE = {Every countable model of set theory embeds into its own
constructible universe},
JOURNAL = {J. Math. Log.},
FJOURNAL = {Journal of Mathematical Logic},
VOLUME = {13},
YEAR = {2013},
NUMBER = {2},
PAGES = {1350006, 27},
ISSN = {0219-0613},
MRCLASS = {03C62 (03E99 05C20 05C60 05C63)},
MRNUMBER = {3125902},
MRREVIEWER = {Robert S. Lubarsky},
DOI = {10.1142/S0219061313500062},
eprint = {1207.0963},
URL = {http://jdh.hamkins.org/every-model-embeds-into-own-constructible-universe/},
}

• Well-founded Boolean ultrapowers as large cardinal embeddings
• J. D. Hamkins and D. Seabold, “Well-founded Boolean ultrapowers as large cardinal embeddings,” , pp. 1-40. (preprint http://jdh.hamkins.org/boolean-ultrapowers/)
@ARTICLE{HamkinsSeabold:BooleanUltrapowers,
AUTHOR = "Joel David Hamkins and Daniel Seabold",
TITLE = "Well-founded {Boolean} ultrapowers as large cardinal embeddings",
JOURNAL = "",
YEAR = "",
volume = "",
number = "",
pages = "1--40",
month = "",
note = "preprint http://jdh.hamkins.org/boolean-ultrapowers/",
eprint = "1206.6075",
url = {http://arxiv.org/abs/1206.6075},
abstract = "",
keywords = "",
source = "",
file = F
}

• Singular cardinals and strong extenders
• A. W. Apter, J. Cummings, and J. D. Hamkins, “Singular cardinals and strong extenders,” Cent. Eur. J. Math., vol. 11, iss. 9, pp. 1628-1634, 2013.
@article {ApterCummingsHamkins2013:SingularCardinalsAndStrongExtenders,
AUTHOR = {Apter, Arthur W. and Cummings, James and Hamkins, Joel David},
TITLE = {Singular cardinals and strong extenders},
JOURNAL = {Cent. Eur. J. Math.},
FJOURNAL = {Central European Journal of Mathematics},
VOLUME = {11},
YEAR = {2013},
NUMBER = {9},
PAGES = {1628--1634},
ISSN = {1895-1074},
MRCLASS = {03E55 (03E35 03E45)},
MRNUMBER = {3071929},
MRREVIEWER = {Samuel Gomes da Silva},
DOI = {10.2478/s11533-013-0265-1},
URL = {http://jdh.hamkins.org/singular-cardinals-strong-extenders/},
eprint = {1206.3703},
}

• Is the dream solution of the continuum hypothesis attainable?
• J. D. Hamkins, “Is the dream solution of the continuum hypothesis attainable?,” Notre Dame J. Form. Log., vol. 56, iss. 1, pp. 135-145, 2015.
@article {Hamkins2015:IsTheDreamSolutionToTheContinuumHypothesisAttainable,
AUTHOR = {Hamkins, Joel David},
TITLE = {Is the dream solution of the continuum hypothesis attainable?},
JOURNAL = {Notre Dame J. Form. Log.},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {56},
YEAR = {2015},
NUMBER = {1},
PAGES = {135--145},
ISSN = {0029-4527},
MRCLASS = {03E50},
MRNUMBER = {3326592},
MRREVIEWER = {Marek Balcerzak},
DOI = {10.1215/00294527-2835047},
eprint = {1203.4026},
url = {http://jdh.hamkins.org/dream-solution-of-ch},
}

• The mate-in-n problem of infinite chess is decidable
• D. Brumleve, J. D. Hamkins, and P. Schlicht, “The Mate-in-$n$ Problem of Infinite Chess Is Decidable,” in How the World Computes, S. Cooper, A. Dawar, and B. Löwe, Eds., Springer Berlin Heidelberg, 2012, vol. 7318, pp. 78-88.
@incollection{BrumleveHamkinsSchlicht2012:TheMateInNProblemOfInfiniteChessIsDecidable,
year={2012},
isbn={978-3-642-30869-7},
booktitle={How the World Computes},
volume={7318},
series={Lecture Notes in Computer Science},
editor={Cooper, S.~Barry and Dawar, Anuj and L{\"o}we, Benedikt},
doi={10.1007/978-3-642-30870-3_9},
title={The Mate-in-$n$ Problem of Infinite Chess Is Decidable},
url={http://dx.doi.org/10.1007/978-3-642-30870-3_9},
publisher={Springer Berlin Heidelberg},
author={Brumleve, Dan and Hamkins, Joel David and Schlicht, Philipp},
pages={78-88},
eprint = {1201.5597},
}

• Inner models with large cardinal features usually obtained by forcing
• A. Apter, V. Gitman, and J. D. Hamkins, “Inner models with large cardinal features usually obtained by forcing,” Archive for Mathematical Logic, vol. 51, pp. 257-283, 2012. (10.1007/s00153-011-0264-5)
@article {ApterGitmanHamkins2012:InnerModelsWithLargeCardinals,
author = {Apter, Arthur and Gitman, Victoria and Hamkins, Joel David},
affiliation = {Mathematics, The Graduate Center of the City University of New York, 365 Fifth Avenue, New York, NY 10016, USA},
title = {Inner models with large cardinal features usually obtained by forcing},
journal = {Archive for Mathematical Logic},
publisher = {Springer Berlin / Heidelberg},
issn = {0933-5846},
keyword = {Mathematics and Statistics},
pages = {257--283},
volume = {51},
issue = {3},
url = {http://jdh.hamkins.org/innermodelswithlargecardinals/},
eprint = {1111.0856},
doi = {10.1007/s00153-011-0264-5},
note = {10.1007/s00153-011-0264-5},
year = {2012}
}

• What is the theory ZFC without power set?
• V. Gitman, J. D. Hamkins, and T. A.~Johnstone, “What is the theory ZFC without Powerset?,” Mathematical Logic Quarterly. (in press, to appear)
@ARTICLE{GitmanHamkinsJohnstone:WhatIsTheTheoryZFC-Powerset?,
AUTHOR = {Victoria Gitman and Joel David Hamkins and Thomas A.~Johnstone},
TITLE = {What is the theory {ZFC} without {Powerset}?},
JOURNAL = {Mathematical Logic Quarterly},
YEAR = {},
volume = {},
number = {},
pages = {},
month = {},
note = {in press, to appear},
abstract = {},
keywords = {},
eprint = {1110.2430},
url = {http://arxiv.org/abs/1110.2430},
source = {},
}

• The hierarchy of equivalence relations on the natural numbers under computable reducibility
• 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.
@ARTICLE{CoskeyHamkinsMiller2012:HierarchyOfEquivalenceRelationsOnN,
AUTHOR = {Samuel Coskey and Joel David Hamkins and Russell Miller},
TITLE = {The hierarchy of equivalence relations on the natural numbers under computable reducibility},
JOURNAL = {Computability},
YEAR = {2012},
volume = {1},
number = {1},
pages = {15--38},
month = {},
note = {},
url = {http://iospress.metapress.com/content/96X98U84V504G456},
eprint = {1109.3375},
doi = {10.3233/COM-2012-004},
abstract = {},
keywords = {},
source = {},
}

• Set-theoretic geology
• G. Fuchs, J. D. Hamkins, and J. Reitz, “Set-theoretic geology,” Annals of Pure and Applied Logic, vol. 166, iss. 4, pp. 464-501, 2015.
@article{FuchsHamkinsReitz2015:Set-theoreticGeology,
author = "Gunter Fuchs and Joel David Hamkins and Jonas Reitz",
title = "Set-theoretic geology",
journal = "Annals of Pure and Applied Logic",
volume = "166",
number = "4",
pages = "464--501",
year = "2015",
note = "",
MRCLASS = {03E55 (03E40 03E45 03E47)},
MRNUMBER = {3304634},
issn = "0168-0072",
doi = "10.1016/j.apal.2014.11.004",
eprint = "1107.4776",
url = "http://jdh.hamkins.org/set-theoreticgeology",
}

• The rigid relation principle, a new weak choice principle
• J. D. Hamkins and J. Palumbo, “The rigid relation principle, a new weak choice principle,” Mathematical Logic Quarterly, vol. 58, iss. 6, pp. 394-398, 2012.
@ARTICLE{HamkinsPalumbo2012:TheRigidRelationPrincipleANewWeakACPrinciple,
AUTHOR = {Joel David Hamkins and Justin Palumbo},
TITLE = {The rigid relation principle, a new weak choice principle},
JOURNAL = {Mathematical Logic Quarterly},
YEAR = {2012},
volume = {58},
number = {6},
pages = {394--398},
ISSN = {0942-5616},
month = {},
note = {},
url = {http://jdh.hamkins.org/therigidrelationprincipleanewweakacprinciple/},
eprint = {1106.4635},
doi = {10.1002/malq.201100081},
MRNUMBER = {2997028},
MRREVIEWER = {Eleftherios C.~Tachtsis},
abstract = {},
keywords = {},
source = {},
}

• Generalizations of the Kunen inconsistency
• J. D. Hamkins, G. Kirmayer, and N. L. Perlmutter, “Generalizations of the Kunen inconsistency,” Annals of Pure and Applied Logic, vol. 163, iss. 12, pp. 1872-1890, 2012.
@article{HamkinsKirmayerPerlmutter2012:GeneralizationsOfKunenInconsistency,
title = "Generalizations of the {Kunen} inconsistency",
journal = "Annals of Pure and Applied Logic",
volume = "163",
number = "12",
pages = "1872 - 1890",
year = "2012",
note = "",
issn = "0168-0072",
doi = "10.1016/j.apal.2012.06.001",
eprint = {1106.1951},
url = "http://www.sciencedirect.com/science/article/pii/S0168007212000966",
author = "Joel David Hamkins and Greg Kirmayer and Norman Lewis Perlmutter"
}

• Pointwise definable models of set theory
• J. D. Hamkins, D. Linetsky, and J. Reitz, “Pointwise definable models of set theory,” J. Symbolic Logic, vol. 78, iss. 1, pp. 139-156, 2013.
@article {HamkinsLinetskyReitz2013:PointwiseDefinableModelsOfSetTheory,
AUTHOR = {Hamkins, Joel David and Linetsky, David and Reitz, Jonas},
TITLE = {Pointwise definable models of set theory},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {78},
YEAR = {2013},
NUMBER = {1},
PAGES = {139--156},
ISSN = {0022-4812},
MRCLASS = {03E55},
MRNUMBER = {3087066},
MRREVIEWER = {Bernhard A. K{\"o}nig},
DOI = {10.2178/jsl.7801090},
URL = {http://jdh.hamkins.org/pointwisedefinablemodelsofsettheory/},
eprint = "1105.4597",
}

• 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.
@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 = {},
edition = {},
month = {},
note = {},
abstract = {},
isbn = {9781107014510},
price = {},
keywords = {},
source = {},
}

• 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, pp. 33-49.
@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},
url = {http://arxiv.org/abs/1101.1864},
}

• The set-theoretical multiverse
• J. D. Hamkins, “The set-theoretic multiverse,” Review of Symbolic Logic, vol. 5, pp. 416-449, 2012.
@ARTICLE{Hamkins2012:TheSet-TheoreticalMultiverse,
AUTHOR = {Joel David Hamkins},
TITLE = {The set-theoretic multiverse},
JOURNAL = {Review of Symbolic Logic},
YEAR = {2012},
volume = {5},
number = {},
pages = {416--449},
month = {},
note = {},
url = {},
doi = {10.1017/S1755020311000359},
abstract = {},
keywords = {},
source = {},
eprint = {1108.4223},
url = {http://jdh.hamkins.org/themultiverse},
}

• Infinite 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.
@ARTICLE{CoskeyHamkins2011:InfiniteTimeComputableEquivalenceRelations,
AUTHOR = {Coskey, Samuel and Hamkins, Joel David},
TITLE = {Infinite time decidable equivalence relation theory},
JOURNAL = {Notre Dame J.~Form.~Log.},
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://dx.doi.org/10.1215/00294527-1306199},
eprint = "0910.4616",
}

• The set-theoretical multiverse: a natural context for set theory, Japan 2009
• J. D. Hamkins, “The Set-theoretic Multiverse : A Natural Context for Set Theory,” Annals of the Japan Association for Philosophy of Science, vol. 19, pp. 37-55, 2011.
@article{Hamkins2011:TheMultiverse:ANaturalContext,
author="Joel David Hamkins",
title="The Set-theoretic Multiverse : A Natural Context for Set Theory",
journal="Annals of the Japan Association for Philosophy of Science",
ISSN="0453-0691",
publisher="the Japan Association for Philosophy of Science",
year="2011",
volume="19",
number="",
pages="37--55",
URL="http://ci.nii.ac.jp/naid/110008722567/en/",
DOI="",
}

• A natural model of the multiverse axioms
• V. Gitman and J. D. Hamkins, “A natural model of the multiverse axioms,” Notre Dame J.~Form.~Log., vol. 51, iss. 4, pp. 475-484, 2010.
@ARTICLE{GitmanHamkins2010:NaturalModelOfMultiverseAxioms,
AUTHOR = {Gitman, Victoria and Hamkins, Joel David},
TITLE = {A natural model of the multiverse axioms},
JOURNAL = {Notre Dame J.~Form.~Log.},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {51},
YEAR = {2010},
NUMBER = {4},
PAGES = {475--484},
ISSN = {0029-4527},
MRCLASS = {03E40},
MRNUMBER = {2741838},
DOI = {10.1215/00294527-2010-030},
URL = {http://dx.doi.org/10.1215/00294527-2010-030},
eprint = {1104.4450},
}

• Indestructible strong unfoldability
• J. D. Hamkins and T. A. Johnstone, “Indestructible strong unfoldability,” Notre Dame J.~Form.~Log., vol. 51, iss. 3, pp. 291-321, 2010.
@ARTICLE{HamkinsJohnstone2010:IndestructibleStrongUnfoldability,
AUTHOR = {Hamkins, Joel David and Johnstone, Thomas A.},
TITLE = {Indestructible strong unfoldability},
JOURNAL = {Notre Dame J.~Form.~Log.},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {51},
YEAR = {2010},
NUMBER = {3},
PAGES = {291--321},
ISSN = {0029-4527},
MRCLASS = {03E55 (03E40)},
MRNUMBER = {2675684 (2011i:03050)},
MRREVIEWER = {Bernhard A.~K{\"o}nig},
DOI = {10.1215/00294527-2010-018},
URL = {http://dx.doi.org/10.1215/00294527-2010-018},
file = F
}

• Some second order set theory
• J. D. Hamkins, “Some second order set theory,” in Logic and its applications, R.~Ramanujam and S.~Sarukkai, Eds., Berlin: Springer, 2009, vol. 5378, pp. 36-50.
@INCOLLECTION{Hamkins2009:SomeSecondOrderSetTheory,
AUTHOR = {Hamkins, Joel David},
TITLE = {Some second order set theory},
BOOKTITLE = {Logic and its applications},
SERIES = {Lecture Notes in Comput.~Sci.},
VOLUME = {5378},
PAGES = {36--50},
PUBLISHER = {Springer},
EDITOR = {R.~Ramanujam and S.~Sarukkai},
YEAR = {2009},
MRCLASS = {03E35 (03B45 03E40)},
MRNUMBER = {2540935 (2011a:03053)},
DOI = {10.1007/978-3-540-92701-3_3},
URL = {http://dx.doi.org/10.1007/978-3-540-92701-3_3},
}

• 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, pp. 302-309, 2009.
@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://dx.doi.org/10.1016/j.apal.2009.01.004},
file = F
}

• Degrees of rigidity for Souslin trees
• G. Fuchs and J. D. Hamkins, “Degrees of rigidity for Souslin trees,” J.~Symbolic Logic, vol. 74, iss. 2, pp. 423-454, 2009.
@ARTICLE{FuchsHamkins2009:DegreesOfRigidity,
AUTHOR = {Fuchs, Gunter and Hamkins, Joel David},
TITLE = {Degrees of rigidity for {S}ouslin trees},
JOURNAL = {J.~Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {74},
YEAR = {2009},
NUMBER = {2},
PAGES = {423--454},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03E05},
MRNUMBER = {2518565 (2010i:03049)},
MRREVIEWER = {Stefan Geschke},
URL = {http://dx.doi.org/10.2178/jsl/1243948321},
doi = {10.2178/jsl/1243948321},
eprint = {math/0602482},
file = F
}

• Tall cardinals
• J. D. Hamkins, “Tall cardinals,” MLQ Math.~Log.~Q., vol. 55, iss. 1, pp. 68-86, 2009.
@ARTICLE{Hamkins2009:TallCardinals,
AUTHOR = {Hamkins, Joel D.},
TITLE = {Tall cardinals},
JOURNAL = {MLQ Math.~Log.~Q.},
FJOURNAL = {MLQ.~Mathematical Logic Quarterly},
VOLUME = {55},
YEAR = {2009},
NUMBER = {1},
PAGES = {68--86},
ISSN = {0942-5616},
MRCLASS = {03E55 (03E35)},
MRNUMBER = {2489293 (2010g:03083)},
MRREVIEWER = {Carlos A.~Di Prisco},
DOI = {10.1002/malq.200710084},
URL = {http://dx.doi.org/10.1002/malq.200710084},
file = F
}

• The proper and semi-proper forcing axioms for forcing notions that preserve $\aleph_2$ or $\aleph_3$
• J. D. Hamkins and T. A. Johnstone, “The proper and semi-proper forcing axioms for forcing notions that preserve $\aleph_2$ or $\aleph_3$,” Proc.~Amer.~Math.~Soc., vol. 137, iss. 5, pp. 1823-1833, 2009.
@ARTICLE{HamkinsJohnstone2009:PFA(aleph_2-preserving),
AUTHOR = {Hamkins, Joel David and Johnstone, Thomas A.},
TITLE = {The proper and semi-proper forcing axioms for forcing notions that preserve {$\aleph_2$} or {$\aleph_3$}},
JOURNAL = {Proc.~Amer.~Math.~Soc.},
FJOURNAL = {Proceedings of the American Mathematical Society},
VOLUME = {137},
YEAR = {2009},
NUMBER = {5},
PAGES = {1823--1833},
ISSN = {0002-9939},
CODEN = {PAMYAR},
MRCLASS = {03E55 (03E40)},
MRNUMBER = {2470843 (2009k:03087)},
MRREVIEWER = {John Krueger},
DOI = {10.1090/S0002-9939-08-09727-X},
URL = {http://dx.doi.org/10.1090/S0002-9939-08-09727-X},
file = F
}

• 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., New York: Springer, 2008, pp. 521-557.
@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},
YEAR = {2008},
MRCLASS = {03C57 (03D10)},
MRNUMBER = {2762096},
editor = {S.B.\ Cooper and Benedikt L\"owe and Andrea Sorbi},
isbn = "0-387-36033-6",
file = F
}

• Changing the heights of automorphism towers by forcing with Souslin trees over $L$
• G. Fuchs and J. D. Hamkins, “Changing the heights of automorphism towers by forcing with Souslin trees over $L$,” J.~Symbolic Logic, vol. 73, iss. 2, pp. 614-633, 2008.
@ARTICLE{FuchsHamkins2008:ChangingHeightsOverL,
AUTHOR = {Fuchs, Gunter and Hamkins, Joel David},
TITLE = {Changing the heights of automorphism towers by forcing with {S}ouslin trees over {$L$}},
JOURNAL = {J.~Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {73},
YEAR = {2008},
NUMBER = {2},
PAGES = {614--633},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03E35},
MRNUMBER = {2414468 (2009e:03094)},
MRREVIEWER = {Lutz Struengmann},
URL = {http://dx.doi.org/10.2178/jsl/1208359063},
doi = {10.2178/jsl/1208359063},
eprint = {math/0702768},
file = F
}

• The ground axiom is consistent with $V\ne{\rm HOD}$
• J. D. Hamkins, J. Reitz, and W. Woodin, “The ground axiom is consistent with $V\ne{\rm HOD}$,” Proc.~Amer.~Math.~Soc., vol. 136, iss. 8, pp. 2943-2949, 2008.
@ARTICLE{HamkinsReitzWoodin2008:TheGroundAxiomAndVequalsHOD,
AUTHOR = {Hamkins, Joel David and Reitz, Jonas and Woodin, W.~Hugh},
TITLE = {The ground axiom is consistent with {$V\ne{\rm HOD}$}},
JOURNAL = {Proc.~Amer.~Math.~Soc.},
FJOURNAL = {Proceedings of the American Mathematical Society},
VOLUME = {136},
YEAR = {2008},
NUMBER = {8},
PAGES = {2943--2949},
ISSN = {0002-9939},
CODEN = {PAMYAR},
MRCLASS = {03E35 (03E45 03E55)},
MRNUMBER = {2399062 (2009b:03137)},
MRREVIEWER = {P{\'e}ter Komj{\'a}th},
DOI = {10.1090/S0002-9939-08-09285-X},
URL = {http://dx.doi.org/10.1090/S0002-9939-08-09285-X},
file = F
}

• The modal logic of forcing
• J. D. Hamkins and B. Löwe, “The modal logic of forcing,” Trans.~Amer.~Math.~Soc., vol. 360, iss. 4, pp. 1793-1817, 2008.
@ARTICLE{HamkinsLoewe2008:TheModalLogicOfForcing,
AUTHOR = {Hamkins, Joel David and L{\"o}we, Benedikt},
TITLE = {The modal logic of forcing},
JOURNAL = {Trans.~Amer.~Math.~Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {360},
YEAR = {2008},
NUMBER = {4},
PAGES = {1793--1817},
ISSN = {0002-9947},
CODEN = {TAMTAM},
MRCLASS = {03E40 (03B45)},
MRNUMBER = {2366963 (2009h:03068)},
MRREVIEWER = {Andreas Blass},
DOI = {10.1090/S0002-9947-07-04297-3},
URL = {http://dx.doi.org/10.1090/S0002-9947-07-04297-3},
eprint = {math/0509616},
file = F
}

• Large cardinals with few measures
• J. Apter Arthur W.~and Cummings and J. D. Hamkins, “Large cardinals with few measures,” Proc.~Amer.~Math.~Soc., vol. 135, iss. 7, pp. 2291-2300, 2007.
@ARTICLE{ApterCummingsHamkins2006:LargeCardinalsWithFewMeasures,
AUTHOR = {Apter, Arthur W.~and Cummings, James and Hamkins, Joel David},
TITLE = {Large cardinals with few measures},
JOURNAL = {Proc.~Amer.~Math.~Soc.},
FJOURNAL = {Proceedings of the American Mathematical Society},
VOLUME = {135},
YEAR = {2007},
NUMBER = {7},
PAGES = {2291--2300},
ISSN = {0002-9939},
CODEN = {PAMYAR},
MRCLASS = {03E35 (03E55)},
MRNUMBER = {2299507 (2008b:03067)},
MRREVIEWER = {Tetsuya Ishiu},
DOI = {10.1090/S0002-9939-07-08786-2},
URL = {http://dx.doi.org/10.1090/S0002-9939-07-08786-2},
eprint = {math/0603260},
file = F
}

• 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, pp. 62-71.
@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",
month = "",
organization = "",
publisher = "",
note = "",
abstract = "",
keywords = "",
doi = {10.1007/978-3-540-74593-8_5},
ee = {http://dx.doi.org/10.1007/978-3-540-74593-8_5},
crossref = {DBLP:conf/mcu/2007},
file = F
}

• 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 – Third Conference of Computability in Europe CiE 2007, Siena, Italy, 2007, pp. 488-496.
@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 - Third Conference of Computability in Europe CiE 2007",
YEAR = "2007",
editor = "Barry Cooper and Benedikt {L\"owe} and Andrea Sorbi",
volume = "4497",
number = "",
series = "Proceedings, Lecture Notes in Computer Science",
pages = "488--496",
month = "",
organization = "",
publisher = "",
note = "",
abstract = "",
keywords = "",
doi = {10.1007/978-3-540-73001-9_51},
ee = {http://dx.doi.org/10.1007/978-3-540-73001-9_51},
crossref = {DBLP:conf/cie/2007},
bibsource = {DBLP, http://dblp.uni-trier.de},
file = F
}

• 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—Third Conference of Computability in Europe CiE 2007, Siena, Italy, 2007, pp. 358-367.
@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---Third Conference of Computability in Europe CiE 2007",
YEAR = "2007",
editor = "Barry Cooper and Benedikt {L\"owe} and Andrea Sorbi",
volume = "4497",
number = "",
series = "Proceedings, Lecture Notes in Computer Science",
month = "",
organization = "",
publisher = "",
note = "",
abstract = "",
keywords = "",
pages = {358-367},
doi = {10.1007/978-3-540-73001-9_37},
ee = {http://dx.doi.org/10.1007/978-3-540-73001-9_37},
crossref = {DBLP:conf/cie/2007},
bibsource = {DBLP, http://dblp.uni-trier.de},
file = F
}

• The halting problem is decidable on a set of asymptotic probability one
• J. D. Hamkins and A. Miasnikov, “The halting problem is decidable on a set of asymptotic probability one,” Notre Dame J.~Formal Logic, vol. 47, iss. 4, pp. 515-524, 2006.
@ARTICLE{HamkinsMiasnikov2006:HaltingProblemDecidable,
AUTHOR = {Hamkins, Joel David and Miasnikov, Alexei},
TITLE = {The halting problem is decidable on a set of asymptotic probability one},
JOURNAL = {Notre Dame J.~Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {47},
YEAR = {2006},
NUMBER = {4},
PAGES = {515--524},
ISSN = {0029-4527},
CODEN = {NDJFAM},
MRCLASS = {03D10 (68Q05)},
MRNUMBER = {2272085 (2007m:03082)},
MRREVIEWER = {Maurice Margenstern},
DOI = {10.1305/ndjfl/1168352664},
URL = {http://dx.doi.org/10.1305/ndjfl/1168352664},
eprint = {math/0504351},
file = F,
}

• Diamond (on the regulars) can fail at any strongly unfoldable cardinal
• M. D{u{z}}amonja and J. D. Hamkins, “Diamond (on the regulars) can fail at any strongly unfoldable cardinal,” Ann.~Pure Appl.~Logic, vol. 144, iss. 1-3, pp. 83-95, 2006. (Conference in honor of sixtieth birthday of James E.~Baumgartner)
@ARTICLE{DzamonjaHamkins2006:DiamondCanFail,
AUTHOR = {D{\u{z}}amonja, Mirna and Hamkins, Joel David},
TITLE = {Diamond (on the regulars) can fail at any strongly unfoldable cardinal},
JOURNAL = {Ann.~Pure Appl.~Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {144},
YEAR = {2006},
NUMBER = {1-3},
PAGES = {83--95},
ISSN = {0168-0072},
CODEN = {APALD7},
MRCLASS = {03E05 (03E35 03E55)},
MRNUMBER = {2279655 (2007m:03091)},
MRREVIEWER = {Andrzej Ros{\l}anowski},
DOI = {10.1016/j.apal.2006.05.001},
URL = {http://dx.doi.org/10.1016/j.apal.2006.05.001},
month = {December},
note = {Conference in honor of sixtieth birthday of James E.~Baumgartner},
eprint = {math/0409304},
}

• ${\rm P}\neq{\rm NP}\cap\textrm{co-}{\rm NP}$ for infinite time Turing machines
• V. Deolalikar, J. D. Hamkins, and R. Schindler, “${\rm P}\neq{\rm NP}\cap$ co-NP for infinite time Turing machines,” J.~Logic Comput., vol. 15, iss. 5, pp. 577-592, 2005.
@ARTICLE{DeolalikarHamkinsSchindler2005:NPcoNP,
AUTHOR = {Deolalikar, Vinay and Hamkins, Joel David and Schindler, Ralf},
TITLE = {{${\rm P}\neq{\rm NP}\cap$} co-{NP} for infinite time {T}uring machines},
JOURNAL = {J.~Logic Comput.},
FJOURNAL = {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://dx.doi.org/10.1093/logcom/exi022},
month = "October",
eprint = {math/0307388},
file = F,
}

• The necessary maximality principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal
• W. Hamkins Joel D.~and Woodin, “The necessary maximality principle for c.c.c.\ forcing is equiconsistent with a weakly compact cardinal,” MLQ Math.~Log.~Q., vol. 51, iss. 5, pp. 493-498, 2005.
@ARTICLE{HamkinsWoodin2005:NMPccc,
AUTHOR = {Hamkins, Joel D.~and Woodin, W.~Hugh},
TITLE = {The necessary maximality principle for c.c.c.\ forcing is equiconsistent with a weakly compact cardinal},
JOURNAL = {MLQ Math.~Log.~Q.},
FJOURNAL = {MLQ.~Mathematical Logic Quarterly},
VOLUME = {51},
YEAR = {2005},
NUMBER = {5},
PAGES = {493--498},
ISSN = {0942-5616},
MRCLASS = {03E65 (03E55)},
MRNUMBER = {2163760 (2006f:03082)},
MRREVIEWER = {Tetsuya Ishiu},
DOI = {10.1002/malq.200410045},
URL = {http://dx.doi.org/10.1002/malq.200410045},
eprint = {math/0403165},
file = F,
}

• The Ground Axiom
• J. D. Hamkins, “The Ground Axiom,” Mathematisches Forschungsinstitut Oberwolfach Report, vol. 55, pp. 3160-3162, 2005.
@ARTICLE{Hamkins2005:TheGroundAxiom,
AUTHOR = "Joel David Hamkins",
TITLE = "The {Ground Axiom}",
JOURNAL = "Mathematisches Forschungsinstitut Oberwolfach Report",
YEAR = "2005",
volume = "55",
number = "",
pages = "3160--3162",
month = "",
note = "",
abstract = "",
keywords = "",
source = "",
file = F
}

• Infinitary computability with infinite time Turing machines
• J. D. Hamkins, “Infinitary computability with infinite time Turing machines,” in New Computational Paradigms, Amsterdam, 2005.
@INPROCEEDINGS{Hamkins2005:InfinitaryComputabilityWithITTM,
AUTHOR = "Joel David Hamkins",
TITLE = "Infinitary computability with infinite time {T}uring machines",
YEAR = "2005",
editor = "Cooper, Barry S.~and {L\"owe}, Benedikt",
volume = "3526",
number = "",
series = "LNCS",
pages = "",
month = "June 8-12",
organization = "CiE",
publisher = "Springer-Verlag",
isbn = "3-540-26179-6",
note = "",
abstract = "",
keywords = "",
doi = {10.1007/11494645_22},
ee = {http://dx.doi.org/10.1007/11494645_22},
crossref = {DBLP:conf/cie/2005},
file = F
}

• Book review of G. Tourlakis, Lectures in Logic and Set Theory I & II
• J. D. Hamkins, “book review of G.~Tourlakis, Lectures in Logic and Set Theory, vols.~I & II,” Bulletin of Symbolic Logic, vol. 11, iss. 2, p. 241, 2005.
@ARTICLE{Hamkins2005:TourlakisBookReview,
AUTHOR = "Joel David Hamkins",
TITLE = "book review of {G.~Tourlakis}, {Lectures in Logic and Set Theory}, vols.~{I \& II}",
JOURNAL = "Bulletin of Symbolic Logic",
YEAR = "2005",
volume = "11",
number = "2",
pages = "241",
month = "June",
note = "",
abstract = "",
keywords = "",
source = "",
file = F
}

• J. D. Hamkins, “Supertask computation,” in Classical and new paradigms of computation and their complexity hierarchies, Dordrecht, 2004, pp. 141-158. (Papers of the conference “Foundations of the Formal Sciences III” held in Vienna, September 21-24, 2001)
@INPROCEEDINGS{Hamkins2004:SupertaskComputation,
AUTHOR = {Hamkins, Joel David},
BOOKTITLE = {Classical and new paradigms of computation and their complexity hierarchies},
SERIES = {Trends Log.~Stud.~Log.~Libr.},
VOLUME = {23},
PAGES = {141--158},
YEAR = {2004},
MRCLASS = {03D10 (03D25 68Q05)},
MRNUMBER = {2155535},
DOI = {10.1007/978-1-4020-2776-5_8},
URL = {http://dx.doi.org/10.1007/978-1-4020-2776-5_8},
note = {Papers of the conference Foundations of the Formal Sciences III'' held in Vienna, September 21-24, 2001},
eprint = {math/0212049},
file = F,
}

• Extensions with the approximation and cover properties have no new large cardinals
• J. D. Hamkins, “Extensions with the approximation and cover properties have no new large cardinals,” Fund.~Math., vol. 180, iss. 3, pp. 257-277, 2003.
@article{Hamkins2003:ExtensionsWithApproximationAndCoverProperties,
AUTHOR = {Hamkins, Joel David},
TITLE = {Extensions with the approximation and cover properties have no new large cardinals},
JOURNAL = {Fund.~Math.},
FJOURNAL = {Fundamenta Mathematicae},
VOLUME = {180},
YEAR = {2003},
NUMBER = {3},
PAGES = {257--277},
ISSN = {0016-2736},
MRCLASS = {03E55 (03E40)},
MRNUMBER = {2063629 (2005m:03100)},
DOI = {10.4064/fm180-3-4},
URL = {http://dx.doi.org/10.4064/fm180-3-4},
eprint = {math/0307229},
file = F,
}

• ${\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$,” MLQ Math.~Log.~Q., vol. 49, iss. 5, pp. 536-540, 2003.
@ARTICLE{HamkinsWelch2003:PfneqNPf,
AUTHOR = {Hamkins, Joel David and Welch, Philip D.},
TITLE = {{${\rm P}^f\neq {\rm NP}^f$} for almost all {$f$}},
JOURNAL = {MLQ Math.~Log.~Q.},
FJOURNAL = {MLQ.~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://dx.doi.org/10.1002/malq.200310057},
eprint = {math/0212046},
}

• Exactly controlling the non-supercompact strongly compact cardinals
• J. D. Apter Arthur W.~and Hamkins, “Exactly controlling the non-supercompact strongly compact cardinals,” J.~Symbolic Logic, vol. 68, iss. 2, pp. 669-688, 2003.
@ARTICLE{ApterHamkins2003:ExactlyControlling,
AUTHOR = {Apter, Arthur W.~and Hamkins, Joel David},
TITLE = {Exactly controlling the non-supercompact strongly compact cardinals},
JOURNAL = {J.~Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {68},
YEAR = {2003},
NUMBER = {2},
PAGES = {669--688},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03E35 (03E55)},
MRNUMBER = {1976597 (2004b:03075)},
MRREVIEWER = {A.~Kanamori},
URL = {http://projecteuclid.org/getRecord?id=euclid.jsl/1052669070},
eprint = {math/0301016},
}

• A simple maximality principle
• J. D. Hamkins, “A simple maximality principle,” J.~Symbolic Logic, vol. 68, iss. 2, pp. 527-550, 2003.
@article{Hamkins2003:MaximalityPrinciple,
AUTHOR = {Hamkins, Joel David},
TITLE = {A simple maximality principle},
JOURNAL = {J.~Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {68},
YEAR = {2003},
NUMBER = {2},
PAGES = {527--550},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03E35 (03E40)},
MRNUMBER = {1976589 (2005a:03094)},
MRREVIEWER = {Ralf-Dieter Schindler},
DOI = {10.2178/jsl/1052669062},
URL = {http://projecteuclid.org/getRecord?id=euclid.jsl/1052669062},
month = {June},
eprint = {math/0009240},
}

• How tall is the automorphism tower of a group?
• J. D. Hamkins, “How tall is the automorphism tower of a group?,” in Logic and algebra, Y. Zhang, Ed., Providence, RI: Amer.~Math.~Soc., 2002, vol. 302, pp. 49-57.
@INCOLLECTION{Hamkins2001:HowTall?,
AUTHOR = {Hamkins, Joel David},
TITLE = {How tall is the automorphism tower of a group?},
BOOKTITLE = {Logic and algebra},
SERIES = {Contemp.~Math.},
VOLUME = {302},
PAGES = {49--57},
PUBLISHER = {Amer.~Math.~Soc.},
YEAR = {2002},
MRCLASS = {20E36 (03E35 20A15 20F28)},
MRNUMBER = {1928383 (2003g:20048)},
MRREVIEWER = {Martyn R.~Dixon},
editor = {Yi Zhang},
}

• Indestructibility and the level-by-level agreement between strong compactness and supercompactness
• J. D. Apter Arthur W.~and Hamkins, “Indestructibility and the level-by-level agreement between strong compactness and supercompactness,” J.~Symbolic Logic, vol. 67, iss. 2, pp. 820-840, 2002.
@ARTICLE{ApterHamkins2002:LevelByLevel,
AUTHOR = {Apter, Arthur W.~and Hamkins, Joel David},
TITLE = {Indestructibility and the level-by-level agreement between strong compactness and supercompactness},
JOURNAL = {J.~Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {67},
YEAR = {2002},
NUMBER = {2},
PAGES = {820--840},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03E35 (03E55)},
MRNUMBER = {1905168 (2003e:03095)},
MRREVIEWER = {Carlos A.~Di Prisco},
DOI = {10.2178/jsl/1190150111},
URL = {http://dx.doi.org/10.2178/jsl/1190150111},
eprint = {math/0102086},
}

## 2 thoughts on “Publications”

1. Dear Joel David Hamkins,

I would like to buy your new book “a mathematicians year in japan”. Unfortunately Amazon will not let me buy, most likely because I’m not in the U.S. Is there any way to get a print copy instead of a kindle version? Barring that is there perhaps another way to obtain a copy? Thanks in advance!

Lee

• Dear Lee,

I’m very sorry, but the book is not available in paper format. It currently exists only in electronic format, on Kindle. Kindle format books can be read on almost any device (phone, computer, tablet) with the free Kindle application.

regards,

JDH