Takip et
Joel David Hamkins
Joel David Hamkins
University of Notre Dame
nd.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Infinite time Turing machines
JD Hamkins, A Lewis
The Journal of Symbolic Logic 65 (2), 567-604, 2000
3862000
The set-theoretic multiverse
JD Hamkins
The Review of Symbolic Logic 5 (3), 416-449, 2012
2732012
Extensions with the approximation and cover properties have no new large cardinals
JD Hamkins
arXiv preprint math/0307229, 2003
1182003
The lottery preparation
JD Hamkins
Annals of Pure and Applied Logic 101 (2-3), 103-146, 2000
1172000
The modal logic of forcing
J Hamkins, B Löwe
Transactions of the American Mathematical Society 360 (4), 1793-1817, 2008
1152008
Gap forcing
JD Hamkins
Israel Journal of Mathematics 125 (1), 237-252, 2001
1102001
Set-theoretic geology
G Fuchs, JD Hamkins, J Reitz
Annals of Pure and Applied Logic 166 (4), 464-501, 2015
982015
What is the theory ZFC without power set?
V Gitman, JD Hamkins, TA Johnstone
Mathematical Logic Quarterly 62 (4-5), 391-406, 2016
972016
A simple maximality principle
JD Hamkins
The Journal of Symbolic Logic 68 (2), 527-550, 2003
902003
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
882006
Infinite time Turing machines
JD Hamkins
Minds and Machines 12, 521-539, 2002
852002
Gap forcing: generalizing the Lévy-Solovay theorem
JD Hamkins
Bulletin of Symbolic Logic 5 (2), 264-272, 1999
801999
A natural model of the multiverse axioms
VGJD Hamkins
Notre Dame J. Formal Logic 51 (4), 475-484, 2010
50*2010
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
492022
Is the dream solution of the continuum hypothesis attainable?
JD Hamkins
492015
Well-founded Boolean ultrapowers as large cardinal embeddings
JD Hamkins, DE Seabold
arXiv preprint arXiv:1206.6075, 2012
442012
Infinite time Turing machines with only one tape
JD Hamkins, DE Seabold
Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (2), 271-287, 2001
432001
Small forcing creates neither strong nor Woodin cardinals
JD Hamkins, WH Woodin
Proceedings of the American Mathematical Society, 3025-3029, 2000
432000
The hierarchy of equivalence relations on the natural numbers under computable reducibility
S Coskey, JD Hamkins, R Miller
Computability 1 (1), 15-38, 2012
422012
Small forcing makes any cardinal superdestructible
JD Hamkins
The Journal of Symbolic Logic 63 (1), 51-58, 1998
391998
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20