Hamkins, Joel David Infinite Wordle and the mastermind numbers. (English) Zbl 07782432 Math. Log. Q. 69, No. 4, 400-416 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{J. D. Hamkins}, Math. Log. Q. 69, No. 4, 400--416 (2023; Zbl 07782432) Full Text: DOI arXiv OA License
Cutolo, Raffaella; Hamkins, Joel David Choiceless large cardinals and set-theoretic potentialism. (English) Zbl 1521.03197 Math. Log. Q. 68, No. 4, 409-415 (2022). MSC: 03E55 03E25 03E35 03B45 03C62 PDFBibTeX XMLCite \textit{R. Cutolo} and \textit{J. D. Hamkins}, Math. Log. Q. 68, No. 4, 409--415 (2022; Zbl 1521.03197) Full Text: DOI arXiv
Hamkins, Joel David; Leonessi, Davide Transfinite game values in infinite draughts. (English) Zbl 1505.91114 Integers 22, Paper G5, 18 p. (2022). Reviewer: Michel Rigo (Liège) MSC: 91A46 91A05 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{D. Leonessi}, Integers 22, Paper G5, 18 p. (2022; Zbl 1505.91114) Full Text: arXiv Link
Hamkins, Joel David; Williams, Kameryn J. The \(\Sigma_1\)-definable universal finite sequence. (English) Zbl 07541922 J. Symb. Log. 87, No. 2, 783-801 (2022). MSC: 03H05 03E40 03E45 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{K. J. Williams}, J. Symb. Log. 87, No. 2, 783--801 (2022; Zbl 07541922) Full Text: DOI arXiv
Hamkins, Joel David; Linnebo, Øystein The modal logic of set-theoretic potentialism and the potentialist maximality principles. (English) Zbl 07493106 Rev. Symb. Log. 15, No. 1, 1-35 (2022). MSC: 03E40 03E45 03C62 03B45 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{Ø. Linnebo}, Rev. Symb. Log. 15, No. 1, 1--35 (2022; Zbl 07493106) Full Text: DOI arXiv
Enayat, Ali; Hamkins, Joel David; Wcisło, Bartosz Topological models of arithmetic. (English) Zbl 1501.03003 Fundam. Math. 256, No. 2, 171-193 (2022). Reviewer: Roman Kossak (New York) MSC: 03C62 03C66 PDFBibTeX XMLCite \textit{A. Enayat} et al., Fundam. Math. 256, No. 2, 171--193 (2022; Zbl 1501.03003) Full Text: DOI arXiv
Hamkins, Joel David Pseudo-countable models. arXiv:2210.04838 Preprint, arXiv:2210.04838 [math.LO] (2022). BibTeX Cite \textit{J. D. Hamkins}, ``Pseudo-countable models'', Preprint, arXiv:2210.04838 [math.LO] (2022) Full Text: arXiv OA License
Hamkins, Joel David Every countable model of arithmetic or set theory has a pointwise-definable end extension. arXiv:2209.12578 Preprint, arXiv:2209.12578 [math.LO] (2022). BibTeX Cite \textit{J. D. Hamkins}, ``Every countable model of arithmetic or set theory has a pointwise-definable end extension'', Preprint, arXiv:2209.12578 [math.LO] (2022) Full Text: arXiv OA License
Hamkins, Joel David Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account. arXiv:2209.07845 Preprint, arXiv:2209.07845 [math.LO] (2022). BibTeX Cite \textit{J. D. Hamkins}, ``Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account'', Preprint, arXiv:2209.07845 [math.LO] (2022) Full Text: arXiv OA License
Hamkins, Joel David Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength. arXiv:2208.07445 Preprint, arXiv:2208.07445 [math.LO] (2022). BibTeX Cite \textit{J. D. Hamkins}, ``Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength'', Preprint, arXiv:2208.07445 [math.LO] (2022) Full Text: arXiv OA License
Hamkins, Joel David; Yao, Bokai Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal. arXiv:2204.09766 Preprint, arXiv:2204.09766 [math.LO] (2022). MSC: 03E30 03E55 03E65 BibTeX Cite \textit{J. D. Hamkins} and \textit{B. Yao}, ``Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal'', Preprint, arXiv:2204.09766 [math.LO] (2022) Full Text: arXiv OA License
Hamkins, Joel David; Leonessi, Davide Infinite Hex is a draw. arXiv:2201.06475 Preprint, arXiv:2201.06475 [math.CO] (2022). MSC: 91A44 03E60 BibTeX Cite \textit{J. D. Hamkins} and \textit{D. Leonessi}, ``Infinite Hex is a draw'', Preprint, arXiv:2201.06475 [math.CO] (2022) Full Text: arXiv OA License
Gitman, Victoria; Hamkins, Joel David; Karagila, Asaf Kelley-Morse set theory does not prove the class Fodor principle. (English) Zbl 07419456 Fundam. Math. 254, No. 2, 133-154 (2021). MSC: 03E70 03E25 03E35 PDFBibTeX XMLCite \textit{V. Gitman} et al., Fundam. Math. 254, No. 2, 133--154 (2021; Zbl 07419456) Full Text: DOI arXiv Backlinks: MO
Roque Freire, Alfredo; Hamkins, Joel David Bi-interpretation in weak set theories. (English) Zbl 07415218 J. Symb. Log. 86, No. 2, 609-634 (2021). MSC: 03Exx PDFBibTeX XMLCite \textit{A. Roque Freire} and \textit{J. D. Hamkins}, J. Symb. Log. 86, No. 2, 609--634 (2021; Zbl 07415218) Full Text: DOI arXiv Backlinks: MO MO
Hamkins, Joel David Proof and the art of mathematics. Examples and extensions. (English) Zbl 07330885 Cambridge, MA: MIT Press (ISBN 978-0-262-54220-3/pbk). viii, 123 p. (2021). MSC: 00A05 97-01 97E50 01A80 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Proof and the art of mathematics. Examples and extensions. Cambridge, MA: MIT Press (2021; Zbl 07330885)
Berarducci, Alessandro; Fornasiero, Antongiulio; Hamkins, Joel David Is the twin prime conjecture independent of Peano Arithmetic? arXiv:2110.08640 Preprint, arXiv:2110.08640 [math.LO] (2021). MSC: 03B10 BibTeX Cite \textit{A. Berarducci} et al., ``Is the twin prime conjecture independent of Peano Arithmetic?'', Preprint, arXiv:2110.08640 [math.LO] (2021) Full Text: arXiv OA License
Hamkins, Joel David Lectures on the philosophy of mathematics. (English) Zbl 1511.00002 Cambridge, MA: MIT Press (ISBN 978-0-262-54223-4/pbk; 978-0-262-36265-8/ebook). xviii, 329 p. (2020). MSC: 00A30 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Lectures on the philosophy of mathematics. Cambridge, MA: MIT Press (2020; Zbl 1511.00002) Backlinks: MO
Gitman, Victoria; Hamkins, Joel David; Holy, Peter; Schlicht, Philipp; Williams, Kameryn J. The exact strength of the class forcing theorem. (English) Zbl 1485.03216 J. Symb. Log. 85, No. 3, 869-905 (2020). MSC: 03E40 03E70 PDFBibTeX XMLCite \textit{V. Gitman} et al., J. Symb. Log. 85, No. 3, 869--905 (2020; Zbl 1485.03216) Full Text: DOI arXiv Backlinks: MO
Barton, Neil; Caicedo, Andrés Eduardo; Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas; Schindler, Ralf Inner-model reflection principles. (English) Zbl 1481.03058 Stud. Log. 108, No. 3, 573-595 (2020). MSC: 03E45 03E35 03E55 03E65 PDFBibTeX XMLCite \textit{N. Barton} et al., Stud. Log. 108, No. 3, 573--595 (2020; Zbl 1481.03058) Full Text: DOI arXiv
Blair, D. Dakota; Hamkins, Joel David; O’Bryant, Kevin Representing ordinal numbers with arithmetically interesting sets of real numbers. (English) Zbl 1484.11156 Integers 20A, Paper A3, 9 p. (2020). MSC: 11J71 03E10 PDFBibTeX XMLCite \textit{D. D. Blair} et al., Integers 20A, Paper A3, 9 p. (2020; Zbl 1484.11156) Full Text: arXiv Link
Hamkins, Joel David Proof and the art of mathematics. (English) Zbl 1504.00002 Cambridge, MA: MIT Press (ISBN 978-0-262-53979-1/pbk). xxvi, 208 p. (2020). MSC: 00A05 97-01 97E50 01A80 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Proof and the art of mathematics. Cambridge, MA: MIT Press (2020; Zbl 1504.00002)
Blass, Andreas; Brendle, Jörg; Brian, Will; Hamkins, Joel David; Hardy, Michael; Larson, Paul B. The rearrangement number. (English) Zbl 1516.03015 Trans. Am. Math. Soc. 373, No. 1, 41-69 (2020). MSC: 03E17 03E35 40A05 PDFBibTeX XMLCite \textit{A. Blass} et al., Trans. Am. Math. Soc. 373, No. 1, 41--69 (2020; Zbl 1516.03015) Full Text: DOI arXiv Backlinks: MO MO MO MO MO
Hamkins, Joel David; Solberg, Hans Robin Categorical large cardinals and the tension between categoricity and set-theoretic reflection. arXiv:2009.07164 Preprint, arXiv:2009.07164 [math.LO] (2020). BibTeX Cite \textit{J. D. Hamkins} and \textit{H. R. Solberg}, ``Categorical large cardinals and the tension between categoricity and set-theoretic reflection'', Preprint, arXiv:2009.07164 [math.LO] (2020) Full Text: arXiv OA License
Hamkins, Joel David; Wołoszyn, Wojciech Aleksander Modal model theory. arXiv:2009.09394 Preprint, arXiv:2009.09394 [math.LO] (2020). BibTeX Cite \textit{J. D. Hamkins} and \textit{W. A. Wołoszyn}, ``Modal model theory'', Preprint, arXiv:2009.09394 [math.LO] (2020) Full Text: arXiv OA License
Hamkins, Joel David; Miller, Russell; Williams, Kameryn J. Forcing as a computational process. arXiv:2007.00418 Preprint, arXiv:2007.00418 [math.LO] (2020). BibTeX Cite \textit{J. D. Hamkins} et al., ``Forcing as a computational process'', Preprint, arXiv:2007.00418 [math.LO] (2020) Full Text: arXiv OA License
Dorais, François G.; Hamkins, Joel David When does every definable nonempty set have a definable element? (English) Zbl 1521.03191 Math. Log. Q. 65, No. 4, 407-411 (2019). MSC: 03E45 03E35 PDFBibTeX XMLCite \textit{F. G. Dorais} and \textit{J. D. Hamkins}, Math. Log. Q. 65, No. 4, 407--411 (2019; Zbl 1521.03191) Full Text: DOI arXiv
Groszek, Marcia J.; Hamkins, Joel David The implicitly constructible universe. (English) Zbl 1444.03145 J. Symb. Log. 84, No. 4, 1403-1421 (2019). Reviewer: Luis Miguel Villegas Silva (Ciudad de México) MSC: 03E35 03E45 PDFBibTeX XMLCite \textit{M. J. Groszek} and \textit{J. D. Hamkins}, J. Symb. Log. 84, No. 4, 1403--1421 (2019; Zbl 1444.03145) Full Text: DOI arXiv Backlinks: MO
Habič, Miha E.; Hamkins, Joel David; Klausner, Lukas Daniel; Verner, Jonathan; Williams, Kameryn J. Set-theoretic blockchains. (English) Zbl 1468.03063 Arch. Math. Logic 58, No. 7-8, 965-997 (2019). MSC: 03E40 03E35 PDFBibTeX XMLCite \textit{M. E. Habič} et al., Arch. Math. Logic 58, No. 7--8, 965--997 (2019; Zbl 1468.03063) Full Text: DOI arXiv Backlinks: MO MO MO
Brendle, Jörg; Brian, Will; Hamkins, Joel David The subseries number. (English) Zbl 1480.03042 Fundam. Math. 247, No. 1, 49-85 (2019). MSC: 03E17 03E35 40A05 PDFBibTeX XMLCite \textit{J. Brendle} et al., Fundam. Math. 247, No. 1, 49--85 (2019; Zbl 1480.03042) Full Text: DOI arXiv Backlinks: MO MO MO
Gitman, Victoria; Hamkins, Joel David A model of the generic Vopěnka principle in which the ordinals are not Mahlo. (English) Zbl 07006136 Arch. Math. Logic 58, No. 1-2, 245-265 (2019). MSC: 03E35 03E55 PDFBibTeX XMLCite \textit{V. Gitman} and \textit{J. D. Hamkins}, Arch. Math. Logic 58, No. 1--2, 245--265 (2019; Zbl 07006136) Full Text: DOI arXiv
Fuchs, Gunter; Gitman, Victoria; Hamkins, Joel David Ehrenfeucht’s lemma in set theory. (English) Zbl 1455.03065 Notre Dame J. Formal Logic 59, No. 3, 355-370 (2018). MSC: 03E45 03E47 03C55 03C62 PDFBibTeX XMLCite \textit{G. Fuchs} et al., Notre Dame J. Formal Logic 59, No. 3, 355--370 (2018; Zbl 1455.03065) Full Text: DOI arXiv Euclid Backlinks: MO
Enayat, Ali; Hamkins, Joel David ZFC proves that the class of ordinals is not weakly compact for definable classes. (English) Zbl 1447.03016 J. Symb. Log. 83, No. 1, 146-164 (2018). MSC: 03E55 03E35 03C62 PDFBibTeX XMLCite \textit{A. Enayat} and \textit{J. D. Hamkins}, J. Symb. Log. 83, No. 1, 146--164 (2018; Zbl 1447.03016) Full Text: DOI arXiv Backlinks: MO MO
Hamkins, Joel David; Woodin, W. Hugh Open class determinacy is preserved by forcing. arXiv:1806.11180 Preprint, arXiv:1806.11180 [math.LO] (2018). BibTeX Cite \textit{J. D. Hamkins} and \textit{W. H. Woodin}, ``Open class determinacy is preserved by forcing'', Preprint, arXiv:1806.11180 [math.LO] (2018) Full Text: arXiv OA License
Hamkins, Joel David The modal logic of arithmetic potentialism and the universal algorithm. arXiv:1801.04599 Preprint, arXiv:1801.04599 [math.LO] (2018). BibTeX Cite \textit{J. D. Hamkins}, ``The modal logic of arithmetic potentialism and the universal algorithm'', Preprint, arXiv:1801.04599 [math.LO] (2018) Full Text: arXiv OA License
Fuchs, Gunter; Gitman, Victoria; Hamkins, Joel David Incomparable \(\omega_1\)-like models of set theory. (English) Zbl 1469.03107 Math. Log. Q. 63, No. 1-2, 66-76 (2017). MSC: 03C62 03E35 PDFBibTeX XMLCite \textit{G. Fuchs} et al., Math. Log. Q. 63, No. 1--2, 66--76 (2017; Zbl 1469.03107) Full Text: DOI arXiv
Godziszewski, Michał Tomasz; Hamkins, Joel David Computable quotient presentations of models of arithmetic and set theory. (English) Zbl 1496.03154 Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 140-152 (2017). MSC: 03C57 03C62 PDFBibTeX XMLCite \textit{M. T. Godziszewski} and \textit{J. D. Hamkins}, Lect. Notes Comput. Sci. 10388, 140--152 (2017; Zbl 1496.03154) Full Text: DOI arXiv
Hamkins, Joel David; Johnstone, Thomas A. Strongly uplifting cardinals and the boldface resurrection axioms. (English) Zbl 1417.03269 Arch. Math. Logic 56, No. 7-8, 1115-1133 (2017). MSC: 03E55 03E57 03E35 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{T. A. Johnstone}, Arch. Math. Logic 56, No. 7--8, 1115--1133 (2017; Zbl 1417.03269) Full Text: DOI arXiv
Gitman, Victoria; Hamkins, Joel David Open determinacy for class games. (English) Zbl 1423.03200 Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 690, 121-143 (2017). MSC: 03E60 03E30 03C62 PDFBibTeX XMLCite \textit{V. Gitman} and \textit{J. D. Hamkins}, Contemp. Math. 690, 121--143 (2017; Zbl 1423.03200) Full Text: DOI arXiv
Hamkins, Joel David; Woodin, W. Hugh The universal finite set. arXiv:1711.07952 Preprint, arXiv:1711.07952 [math.LO] (2017). BibTeX Cite \textit{J. D. Hamkins} and \textit{W. H. Woodin}, ``The universal finite set'', Preprint, arXiv:1711.07952 [math.LO] (2017) Full Text: arXiv OA License
Hamkins, Joel David; Reitz, Jonas The set-theoretic universe \(V\) is not necessarily a class-forcing extension of HOD. arXiv:1709.06062 Preprint, arXiv:1709.06062 [math.LO] (2017). BibTeX Cite \textit{J. D. Hamkins} and \textit{J. Reitz}, ``The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD'', Preprint, arXiv:1709.06062 [math.LO] (2017) Full Text: arXiv OA License
Fuchs, Gunter; Hamkins, Joel David Boolean ultrapowers, the Bukovsky-Dehornoy phenomenon, and iterated ultrapowers. arXiv:1707.06702 Preprint, arXiv:1707.06702 [math.LO] (2017). MSC: 03E35 03E40 03E45 03E55 03C20 BibTeX Cite \textit{G. Fuchs} and \textit{J. D. Hamkins}, ``Boolean ultrapowers, the Bukovsky-Dehornoy phenomenon, and iterated ultrapowers'', Preprint, arXiv:1707.06702 [math.LO] (2017) Full Text: arXiv OA License
Hamkins, Joel David; Kikuchi, Makoto The inclusion relations of the countable models of set theory are all isomorphic. arXiv:1704.04480 Preprint, arXiv:1704.04480 [math.LO] (2017). BibTeX Cite \textit{J. D. Hamkins} and \textit{M. Kikuchi}, ``The inclusion relations of the countable models of set theory are all isomorphic'', Preprint, arXiv:1704.04480 [math.LO] (2017) Full Text: arXiv OA License
Hamkins, Joel David; Kikuchi, Makoto Set-theoretic mereology. (English) Zbl 1369.03047 Log. Log. Philos. 25, No. 3, 285-308 (2016). MSC: 03A05 03C70 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{M. Kikuchi}, Log. Log. Philos. 25, No. 3, 285--308 (2016; Zbl 1369.03047) Full Text: DOI arXiv Backlinks: MO MO MO MO
Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A. What is the theory ZFC without power set? (English) Zbl 1375.03059 Math. Log. Q. 62, No. 4-5, 391-406 (2016). Reviewer: Rodrigo Freire (Sao Paulo) MSC: 03E30 03E35 PDFBibTeX XMLCite \textit{V. Gitman} et al., Math. Log. Q. 62, No. 4--5, 391--406 (2016; Zbl 1375.03059) Full Text: DOI arXiv Backlinks: MO MO MO
Hamkins, Joel David; Leahy, Cole Algebraicity and implicit definability in set theory. (English) Zbl 1436.03264 Notre Dame J. Formal Logic 57, No. 3, 431-439 (2016). MSC: 03E47 03C55 03E45 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{C. Leahy}, Notre Dame J. Formal Logic 57, No. 3, 431--439 (2016; Zbl 1436.03264) Full Text: DOI arXiv Euclid Backlinks: MO MO
Bagaria, Joan; Hamkins, Joel David; Tsaprounis, Konstantinos; Usuba, Toshimichi Superstrong and other large cardinals are never Laver indestructible. (English) Zbl 1402.03073 Arch. Math. Logic 55, No. 1-2, 19-35 (2016). MSC: 03E55 03E40 03-03 01A70 PDFBibTeX XMLCite \textit{J. Bagaria} et al., Arch. Math. Logic 55, No. 1--2, 19--35 (2016; Zbl 1402.03073) Full Text: DOI arXiv Backlinks: MO
Hamkins, Joel David The Ground Axiom. arXiv:1607.00723 Preprint, arXiv:1607.00723 [math.LO] (2016). BibTeX Cite \textit{J. D. Hamkins}, ``The Ground Axiom'', Preprint, arXiv:1607.00723 [math.LO] (2016) Full Text: arXiv OA License
Hamkins, Joel David The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme. arXiv:1606.03778 Preprint, arXiv:1606.03778 [math.LO] (2016). BibTeX Cite \textit{J. D. Hamkins}, ``The Vop\v{e}nka principle is inequivalent to but conservative over the Vop\v{e}nka scheme'', Preprint, arXiv:1606.03778 [math.LO] (2016) Full Text: arXiv OA License
Hamkins, Joel David; Leibman, George; Löwe, Benedikt Structural connections between a forcing class and its modal logic. (English) Zbl 1367.03095 Isr. J. Math. 207, Part 2, 617-651 (2015). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E40 03B45 PDFBibTeX XMLCite \textit{J. D. Hamkins} et al., Isr. J. Math. 207, Part 2, 617--651 (2015; Zbl 1367.03095) Full Text: DOI arXiv Backlinks: MO
Cody, Brent; Gitik, Moti; Hamkins, Joel David; Schanker, Jason A. The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact. (English) Zbl 1360.03082 Arch. Math. Logic 54, No. 5-6, 491-510 (2015). Reviewer: Mohammad Golshani (Tehran) MSC: 03E55 03E35 PDFBibTeX XMLCite \textit{B. Cody} et al., Arch. Math. Logic 54, No. 5--6, 491--510 (2015; Zbl 1360.03082) Full Text: DOI arXiv
Cheng, Yong; Friedman, Sy-David; Hamkins, Joel David Large cardinals need not be large in HOD. (English) Zbl 1373.03109 Ann. Pure Appl. Logic 166, No. 11, 1186-1198 (2015). MSC: 03E55 03E45 03E35 03E40 PDFBibTeX XMLCite \textit{Y. Cheng} et al., Ann. Pure Appl. Logic 166, No. 11, 1186--1198 (2015; Zbl 1373.03109) Full Text: DOI arXiv
Hamkins, Joel David Is the dream solution of the continuum hypothesis attainable? (English) Zbl 1331.03034 Notre Dame J. Formal Logic 56, No. 1, 135-145 (2015). Reviewer: Vera Fischer (Wien) MSC: 03E50 03A05 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Notre Dame J. Formal Logic 56, No. 1, 135--145 (2015; Zbl 1331.03034) Full Text: DOI arXiv Euclid
Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas Set-theoretic geology. (English) Zbl 1348.03051 Ann. Pure Appl. Logic 166, No. 4, 464-501 (2015). Reviewer: Daniel W. Cunningham (Buffalo) MSC: 03E55 03E40 03E45 03E47 PDFBibTeX XMLCite \textit{G. Fuchs} et al., Ann. Pure Appl. Logic 166, No. 4, 464--501 (2015; Zbl 1348.03051) Full Text: DOI arXiv Backlinks: MO MO
Hamkins, Joel David Upward closure and amalgamation in the generic multiverse of a countable model of set theory. arXiv:1511.01074 Preprint, arXiv:1511.01074 [math.LO] (2015). BibTeX Cite \textit{J. D. Hamkins}, ``Upward closure and amalgamation in the generic multiverse of a countable model of set theory'', Preprint, arXiv:1511.01074 [math.LO] (2015) Full Text: arXiv OA License
Evans, C. D. A.; Hamkins, Joel David; Perlmutter, Norman Lewis A position in infinite chess with game value \(\omega^4\). arXiv:1510.08155 Preprint, arXiv:1510.08155 [math.LO] (2015). BibTeX Cite \textit{C. D. A. Evans} et al., ``A position in infinite chess with game value $\omega^4$'', Preprint, arXiv:1510.08155 [math.LO] (2015) Full Text: arXiv OA License
Daghighi, Ali Sadegh; Golshani, Mohammad; Hamkins, Joel David; Jeřábek, Emil The foundation axiom and elementary self-embeddings of the universe. (English) Zbl 1358.03070 Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 89-112 (2014). MSC: 03E30 03E70 03E45 PDFBibTeX XMLCite \textit{A. S. Daghighi} et al., in: Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications. 89--112 (2014; Zbl 1358.03070) Full Text: arXiv Backlinks: MO MO
Hamkins, Joel David A multiverse perspective on the axiom of constructibility. (English) Zbl 1321.03061 Chong, Chitat (ed.) et al., Infinity and truth. Based on talks given at the workshop, Singapore, July 25–29, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4571-03-6/hbk; 978-981-4571-05-0/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 25, 25-45 (2014). MSC: 03E45 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 25, 25--45 (2014; Zbl 1321.03061) Full Text: DOI arXiv Link Backlinks: MO MO MO
Evans, C. D. A.; Hamkins, Joel David Transfinite game values in infinite chess. (English) Zbl 1369.03118 Integers 14, Paper G02, 36 p. (2014). MSC: 03E55 03E05 03E10 91A46 PDFBibTeX XMLCite \textit{C. D. A. Evans} and \textit{J. D. Hamkins}, Integers 14, Paper G02, 36 p. (2014; Zbl 1369.03118) Full Text: arXiv EMIS
Hamkins, Joel David; Johnstone, Thomas A. Resurrection axioms and uplifting cardinals. (English) Zbl 1351.03043 Arch. Math. Logic 53, No. 3-4, 463-485 (2014). MSC: 03E35 03E55 03E57 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{T. A. Johnstone}, Arch. Math. Logic 53, No. 3--4, 463--485 (2014; Zbl 1351.03043) Full Text: DOI arXiv
Coskey, Samuel; Hamkins, Joel David Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals. (English) Zbl 1329.03075 Greenberg, Noam (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). Lecture Notes in Logic 41, 33-49 (2013). MSC: 03D10 03C57 03D15 03D30 03D60 03E15 PDFBibTeX XMLCite \textit{S. Coskey} and \textit{J. D. Hamkins}, Lect. Notes Log. 41, 33--49 (2013; Zbl 1329.03075) Full Text: arXiv
Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis R. (ed.); Miller, Russell (ed.) Introduction. (English) Zbl 1369.03113 Greenberg, Noam (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). Lecture Notes in Logic 41, 1-13 (2013). MSC: 03C57 PDFBibTeX XMLCite \textit{N. Greenberg} (ed.) et al., Lect. Notes Log. 41, 1--13 (2013; Zbl 1369.03113)
Hamkins, Joel David; Löwe, Benedikt Moving up and down in the generic multiverse. (English) Zbl 1303.03078 Lodaya, Kamal (ed.), Logic and its applications. 5th Indian conference, ICLA 2013, Chennai, India, January 10–12, 2013, Proceedings. Berlin: Springer (ISBN 978-3-642-36038-1/pbk). Lecture Notes in Computer Science 7750, 139-147 (2013). MSC: 03E40 03B45 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{B. Löwe}, Lect. Notes Comput. Sci. 7750, 139--147 (2013; Zbl 1303.03078) Full Text: DOI arXiv Backlinks: MO
Hamkins, Joel David Every countable model of set theory embeds into its own constructible universe. (English) Zbl 1326.03046 J. Math. Log. 13, No. 2, Article ID 1350006, 27 p. (2013). MSC: 03C62 03E45 PDFBibTeX XMLCite \textit{J. D. Hamkins}, J. Math. Log. 13, No. 2, Article ID 1350006, 27 p. (2013; Zbl 1326.03046) Full Text: DOI arXiv Backlinks: MO MO
Apter, Arthur W.; Cummings, James; Hamkins, Joel David Singular cardinals and strong extenders. (English) Zbl 1315.03088 Cent. Eur. J. Math. 11, No. 9, 1628-1634 (2013). MSC: 03E55 03E35 03E45 PDFBibTeX XMLCite \textit{A. W. Apter} et al., Cent. Eur. J. Math. 11, No. 9, 1628--1634 (2013; Zbl 1315.03088) Full Text: DOI arXiv
Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.) Effective mathematics of the uncountable. (English) Zbl 1297.03006 Lecture Notes in Logic 41. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). viii, 197 p. (2013). MSC: 03-06 03B30 03C57 03Dxx 03E15 00B25 PDFBibTeX XMLCite \textit{N. Greenberg} (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2013; Zbl 1297.03006) Full Text: DOI
Hamkins, Joel David; Linetsky, David; Reitz, Jonas Pointwise definable models of set theory. (English) Zbl 1270.03101 J. Symb. Log. 78, No. 1, 139-156 (2013). MSC: 03E55 03E35 03E45 PDFBibTeX XMLCite \textit{J. D. Hamkins} et al., J. Symb. Log. 78, No. 1, 139--156 (2013; Zbl 1270.03101) Full Text: DOI arXiv Euclid Backlinks: MO MO MO MO MO
Hamkins, Joel David; Yang, Ruizhi Satisfaction is not absolute. arXiv:1312.0670 Preprint, arXiv:1312.0670 [math.LO] (2013). MSC: 03Exx 03Exx BibTeX Cite \textit{J. D. Hamkins} and \textit{R. Yang}, ``Satisfaction is not absolute'', Preprint, arXiv:1312.0670 [math.LO] (2013) Full Text: arXiv OA License
Coskey, Amuel; Hamkins, Joel David; Miller, Russell The hierarchy of equivalence relations on the natural numbers under computable reducibility. (English) Zbl 1325.03049 Computability 1, No. 1, 15-38 (2012). MSC: 03D30 03E15 PDFBibTeX XMLCite \textit{A. Coskey} et al., Computability 1, No. 1, 15--38 (2012; Zbl 1325.03049) Full Text: DOI arXiv Backlinks: MO
Hamkins, Joel David; Palumbo, Justin The rigid relation principle, a new weak choice principle. (English) Zbl 1268.03067 Math. Log. Q. 58, No. 6, 394-398 (2012). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E25 03E35 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{J. Palumbo}, Math. Log. Q. 58, No. 6, 394--398 (2012; Zbl 1268.03067) Full Text: DOI arXiv
Hamkins, Joel David The set-theoretic multiverse. (English) Zbl 1260.03103 Rev. Symb. Log. 5, No. 3, 416-449 (2012). Reviewer: Elliott Mendelson (Flushing) MSC: 03E99 00A30 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Rev. Symb. Log. 5, No. 3, 416--449 (2012; Zbl 1260.03103) Full Text: DOI arXiv Backlinks: MO MO MO MO MO
Hamkins, Joel David; Kirmayer, Greg; Perlmutter, Norman Lewis Generalizations of the Kunen inconsistency. (English) Zbl 1270.03100 Ann. Pure Appl. Logic 163, No. 12, 1872-1890 (2012). MSC: 03E55 03E45 03E47 03E35 PDFBibTeX XMLCite \textit{J. D. Hamkins} et al., Ann. Pure Appl. Logic 163, No. 12, 1872--1890 (2012; Zbl 1270.03100) Full Text: DOI arXiv Backlinks: MO
Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp The mate-in-\(n\) problem of infinite chess is decidable. (English) Zbl 1357.03042 Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 78-88 (2012). MSC: 03B25 91A05 PDFBibTeX XMLCite \textit{D. Brumleve} et al., Lect. Notes Comput. Sci. 7318, 78--88 (2012; Zbl 1357.03042) Full Text: DOI arXiv
Apter, Arthur W.; Gitman, Victoria; Hamkins, Joel David Inner models with large cardinal features usually obtained by forcing. (English) Zbl 1250.03104 Arch. Math. Logic 51, No. 3-4, 257-283 (2012). MSC: 03E45 03E40 03E55 PDFBibTeX XMLCite \textit{A. W. Apter} et al., Arch. Math. Logic 51, No. 3--4, 257--283 (2012; Zbl 1250.03104) Full Text: DOI arXiv Backlinks: MO
Hamkins, Joel David; Seabold, Daniel Evan Well-founded Boolean ultrapowers as large cardinal embeddings. arXiv:1206.6075 Preprint, arXiv:1206.6075 [math.LO] (2012). MSC: 03E40 03E55 BibTeX Cite \textit{J. D. Hamkins} and \textit{D. E. Seabold}, ``Well-founded Boolean ultrapowers as large cardinal embeddings'', Preprint, arXiv:1206.6075 [math.LO] (2012) Full Text: arXiv OA License
Hamkins, Joel David The set-theoretic multiverse: a natural context for set theory. (English) Zbl 1274.03076 Ann. Jap. Assoc. Philos. Sci. 19, 37-55 (2011). MSC: 03E40 03B45 03E35 03E45 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Ann. Japan Assoc. Philos. Sci. 19, 37--55 (2011; Zbl 1274.03076) Full Text: DOI
Coskey, Samuel; Hamkins, Joel David Infinite time decidable equivalence relation theory. (English) Zbl 1233.03050 Notre Dame J. Formal Logic 52, No. 2, 203-228 (2011). MSC: 03D65 03D30 03E15 PDFBibTeX XMLCite \textit{S. Coskey} and \textit{J. D. Hamkins}, Notre Dame J. Formal Logic 52, No. 2, 203--228 (2011; Zbl 1233.03050) Full Text: DOI arXiv
Gitman, Victoria; Hamkins, Joel David A natural model of the multiverse axioms. (English) Zbl 1214.03035 Notre Dame J. Formal Logic 51, No. 4, 475-484 (2010). MSC: 03E65 03C57 03C62 PDFBibTeX XMLCite \textit{V. Gitman} and \textit{J. D. Hamkins}, Notre Dame J. Formal Logic 51, No. 4, 475--484 (2010; Zbl 1214.03035) Full Text: DOI arXiv Backlinks: MO MO MO
Hamkins, Joel David; Johnstone, Thomas A. Indestructible strong unfoldability. (English) Zbl 1207.03057 Notre Dame J. Formal Logic 51, No. 3, 291-321 (2010). MSC: 03E55 03E40 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{T. A. Johnstone}, Notre Dame J. Formal Logic 51, No. 3, 291--321 (2010; Zbl 1207.03057) Full Text: DOI
Hamkins, Joel David; Miller, Russell G. Post’s problem for ordinal register machines: an explicit approach. (English) Zbl 1178.03060 Ann. Pure Appl. Logic 160, No. 3, 302-309 (2009). MSC: 03D60 03D10 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{R. G. Miller}, Ann. Pure Appl. Logic 160, No. 3, 302--309 (2009; Zbl 1178.03060) Full Text: DOI
Fuchs, Gunter; Hamkins, Joel David Degrees of rigidity for Souslin trees. (English) Zbl 1179.03043 J. Symb. Log. 74, No. 2, 423-454 (2009). Reviewer: Pierre Matet (Caen) MSC: 03E05 PDFBibTeX XMLCite \textit{G. Fuchs} and \textit{J. D. Hamkins}, J. Symb. Log. 74, No. 2, 423--454 (2009; Zbl 1179.03043) Full Text: DOI arXiv Link Backlinks: MO
Hamkins, Joel David; Johnstone, Thomas A. The proper and semi-proper forcing axioms for forcing notions that preserve \(\aleph_2\) or \(\aleph_3\). (English) Zbl 1166.03030 Proc. Am. Math. Soc. 137, No. 5, 1823-1833 (2009). MSC: 03E55 03E40 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{T. A. Johnstone}, Proc. Am. Math. Soc. 137, No. 5, 1823--1833 (2009; Zbl 1166.03030) Full Text: DOI
Hamkins, Joel David Some second order set theory. (English) Zbl 1209.03045 Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 36-50 (2009). MSC: 03E40 03A05 03B45 03E45 03E70 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Lect. Notes Comput. Sci. 5378, 36--50 (2009; Zbl 1209.03045) Full Text: DOI
Hamkins, Joel D. Tall cardinals. (English) Zbl 1165.03044 Math. Log. Q. 55, No. 1, 68-86 (2009). Reviewer: Tetsuya Ishiu (Oxford, Ohio) MSC: 03E55 03E35 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Math. Log. Q. 55, No. 1, 68--86 (2009; Zbl 1165.03044) Full Text: DOI Backlinks: MO
Hamkins, Joel David; Reitz, Jonas; Woodin, W. Hugh The ground axiom is consistent with \(V \neq \text{HOD}\). (English) Zbl 1145.03029 Proc. Am. Math. Soc. 136, No. 8, 2943-2949 (2008). MSC: 03E35 03E45 03E55 PDFBibTeX XMLCite \textit{J. D. Hamkins} et al., Proc. Am. Math. Soc. 136, No. 8, 2943--2949 (2008; Zbl 1145.03029) Full Text: DOI
Fuchs, Gunter; Hamkins, Joel David Changing the heights of automorphism towers by forcing with Souslin trees over L. (English) Zbl 1153.03026 J. Symb. Log. 73, No. 2, 614-633 (2008). Reviewer: Stylianos Andreadakis (Athens) MSC: 03E05 03E35 20F28 PDFBibTeX XMLCite \textit{G. Fuchs} and \textit{J. D. Hamkins}, J. Symb. Log. 73, No. 2, 614--633 (2008; Zbl 1153.03026) Full Text: DOI arXiv
Hamkins, Joel David; Miller, Russell; Seabold, Daniel; Warner, Steve Infinite time computable model theory. (English) Zbl 1149.03024 Cooper, S. Barry (ed.) et al., New computational paradigms. Changing conceptions of what is computable. New York, NY: Springer (ISBN 978-0-387-36033-1/hbk). 521-557 (2008). MSC: 03C57 03D60 03E35 PDFBibTeX XMLCite \textit{J. D. Hamkins} et al., in: New computational paradigms. Changing conceptions of what is computable. New York, NY: Springer. 521--557 (2008; Zbl 1149.03024) Full Text: arXiv
Hamkins, Joel David; Löwe, Benedikt The modal logic of forcing. (English) Zbl 1139.03039 Trans. Am. Math. Soc. 360, No. 4, 1793-1817 (2008). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03E40 03B45 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{B. Löwe}, Trans. Am. Math. Soc. 360, No. 4, 1793--1817 (2008; Zbl 1139.03039) Full Text: DOI arXiv Backlinks: MO
Hamkins, Joel David A survey of infinite time Turing machines. (English) Zbl 1211.03060 Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 5th international conference, MCU 2007, Orléans, France, September 10–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74592-1/pbk). Lecture Notes in Computer Science 4664, 62-71 (2007). MSC: 03D10 68Q05 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Lect. Notes Comput. Sci. 4664, 62--71 (2007; Zbl 1211.03060) Full Text: DOI
Hamkins, Joel D.; Linetsky, David; Miller, Russell The complexity of quickly ORM-decidable sets. (English) Zbl 1150.03321 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 488-496 (2007). MSC: 03D60 03D10 03D55 PDFBibTeX XMLCite \textit{J. D. Hamkins} et al., Lect. Notes Comput. Sci. 4497, 488--496 (2007; Zbl 1150.03321) Full Text: DOI
Hamkins, Joel D.; Miller, Russell G. Post’s problem for ordinal register machines. (English) Zbl 1151.03339 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 358-367 (2007). MSC: 03D60 03D10 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{R. G. Miller}, Lect. Notes Comput. Sci. 4497, 358--367 (2007; Zbl 1151.03339) Full Text: DOI
Apter, Arthur W.; Cummings, James; Hamkins, Joel David Large cardinals with few measures. (English) Zbl 1115.03075 Proc. Am. Math. Soc. 135, No. 7, 2291-2300 (2007). MSC: 03E55 03E35 PDFBibTeX XMLCite \textit{A. W. Apter} et al., Proc. Am. Math. Soc. 135, No. 7, 2291--2300 (2007; Zbl 1115.03075) Full Text: DOI arXiv
Hamkins, Joel David; Miasnikov, Alexei The halting problem is decidable on a set of asymptotic probability one. (English) Zbl 1137.03024 Notre Dame J. Formal Logic 47, No. 4, 515-524 (2006). Reviewer: Hrant B. Marandjian (Erevan) MSC: 03D10 03B25 68Q05 68Q17 68Q25 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{A. Miasnikov}, Notre Dame J. Formal Logic 47, No. 4, 515--524 (2006; Zbl 1137.03024) Full Text: DOI arXiv
Džamonja, Mirna; Hamkins, Joel David Diamond (on the regulars) can fail at any strongly unfoldable cardinal. (English) Zbl 1110.03032 Ann. Pure Appl. Logic 144, No. 1-3, 83-95 (2006). MSC: 03E05 03E55 PDFBibTeX XMLCite \textit{M. Džamonja} and \textit{J. D. Hamkins}, Ann. Pure Appl. Logic 144, No. 1--3, 83--95 (2006; Zbl 1110.03032) Full Text: DOI arXiv
Deolalikar, Vinay; Hamkins, Joel David; Schindler, Ralf P\(\neq \text{NP}\cap \)co-NP for infinite time Turing machines. (English) Zbl 1089.68043 J. Log. Comput. 15, No. 5, 577-592 (2005). MSC: 68Q15 68Q05 03E15 PDFBibTeX XMLCite \textit{V. Deolalikar} et al., J. Log. Comput. 15, No. 5, 577--592 (2005; Zbl 1089.68043) Full Text: DOI arXiv
Hamkins, Joel David Infinitary computability with infinite time Turing machines. (English) Zbl 1113.68399 Cooper, S. Barry (ed.) et al., New computational paradigms. First conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8–12, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26179-6/pbk). Lecture Notes in Computer Science 3526, 180-187 (2005). MSC: 68Q05 03D10 68Q15 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Lect. Notes Comput. Sci. 3526, 180--187 (2005; Zbl 1113.68399) Full Text: DOI
Hamkins, Joel D.; Woodin, W. Hugh The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal. (English) Zbl 1078.03042 Math. Log. Q. 51, No. 5, 493-498 (2005). MSC: 03E55 03E40 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{W. H. Woodin}, Math. Log. Q. 51, No. 5, 493--498 (2005; Zbl 1078.03042) Full Text: DOI arXiv
Apter, Arthur W.; Hamkins, Joel David Exactly controlling the non-supercompact strongly compact cardinals. (English) Zbl 1056.03030 J. Symb. Log. 68, No. 2, 669-688 (2003). MSC: 03E55 03E35 PDFBibTeX XMLCite \textit{A. W. Apter} and \textit{J. D. Hamkins}, J. Symb. Log. 68, No. 2, 669--688 (2003; Zbl 1056.03030) Full Text: DOI arXiv Euclid
Hamkins, Joel David A simple maximality principle. (English) Zbl 1056.03028 J. Symb. Log. 68, No. 2, 527-550 (2003). MSC: 03E35 03E40 03B45 PDFBibTeX XMLCite \textit{J. D. Hamkins}, J. Symb. Log. 68, No. 2, 527--550 (2003; Zbl 1056.03028) Full Text: DOI arXiv Euclid Backlinks: MO MO MO
Hamkins, Joel David Extensions with the approximation and cover properties have no new large cardinals. (English) Zbl 1066.03052 Fundam. Math. 180, No. 3, 257-277 (2003). Reviewer: K. P. Hart (Delft) MSC: 03E55 03E40 PDFBibTeX XMLCite \textit{J. D. Hamkins}, Fundam. Math. 180, No. 3, 257--277 (2003; Zbl 1066.03052) Full Text: DOI arXiv Link
Hamkins, Joel David; Welch, Philip D. \(\text P^f\neq\text{NP}^{f}\) for almost all \(f\). (English) Zbl 1043.03036 Math. Log. Q. 49, No. 5, 536-540 (2003). Reviewer: Frank Stephan (Singapore) MSC: 03D60 03D10 03D65 68Q15 68Q05 PDFBibTeX XMLCite \textit{J. D. Hamkins} and \textit{P. D. Welch}, Math. Log. Q. 49, No. 5, 536--540 (2003; Zbl 1043.03036) Full Text: DOI