Seguir
Joel David Hamkins
Joel David Hamkins
O'Hara Professor of Logic, University of Notre Dame
Dirección de correo verificada de nd.edu - Página principal
Título
Citado por
Citado por
Año
Infinite time Turing machines
JD Hamkins, A Lewis
The Journal of Symbolic Logic 65 (2), 567-604, 2000
3992000
The set-theoretic multiverse
JD Hamkins
The Review of Symbolic Logic 5 (3), 416-449, 2012
3012012
The modal logic of forcing
J Hamkins, B Löwe
Transactions of the American Mathematical Society 360 (4), 1793-1817, 2008
1252008
Extensions with the approximation and cover properties have no new large cardinals
JD Hamkins
arXiv preprint math/0307229, 2003
1252003
The lottery preparation
JD Hamkins
Annals of Pure and Applied Logic 101 (2-3), 103-146, 2000
1212000
Gap forcing
JD Hamkins
Israel Journal of Mathematics 125 (1), 237-252, 2001
1142001
What is the theory ZFC without power set?
V Gitman, JD Hamkins, TA Johnstone
Mathematical Logic Quarterly 62 (4-5), 391-406, 2016
1052016
Set-theoretic geology
G Fuchs, JD Hamkins, J Reitz
Annals of Pure and Applied Logic 166 (4), 464-501, 2015
1032015
A simple maximality principle
JD Hamkins
The Journal of Symbolic Logic 68 (2), 527-550, 2003
942003
The halting problem is decidable on a set of asymptotic probability one
JD Hamkins, A Miasnikov
Notre Dame Journal of Formal Logic 47 (4), 515-524, 2006
892006
Infinite time Turing machines
JD Hamkins
Minds and Machines 12, 521-539, 2002
892002
Gap forcing: generalizing the Lévy-Solovay theorem
JD Hamkins
Bulletin of Symbolic Logic 5 (2), 264-272, 1999
811999
The modal logic of set-theoretic potentialism and the potentialist maximality principles
JD Hamkins, Ø Linnebo
The Review of Symbolic Logic 15 (1), 1-35, 2022
562022
Is the dream solution of the continuum hypothesis attainable?
JD Hamkins
562015
A natural model of the multiverse axioms
VGJD Hamkins
Notre Dame J. Formal Logic 51 (4), 475-484, 2010
52*2010
Well-founded Boolean ultrapowers as large cardinal embeddings
JD Hamkins, DE Seabold
arXiv preprint arXiv:1206.6075, 2012
502012
Infinite time Turing machines with only one tape
JD Hamkins, DE Seabold
Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (2), 271-287, 2001
452001
Small forcing creates neither strong nor Woodin cardinals
JD Hamkins, WH Woodin
Proceedings of the American Mathematical Society, 3025-3029, 2000
442000
The hierarchy of equivalence relations on the natural numbers under computable reducibility
S Coskey, JD Hamkins, R Miller
Computability 1 (1), 15-38, 2012
432012
Tall cardinals
JD Hamkins
Mathematical Logic Quarterly 55 (1), 68-86, 2009
412009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20