Joel Hamkins

Joel Hamkins
Name	Joel Hamkins
Birth place	United States
Fields	Mathematics, Set theory, Philosophy of mathematics
Workplaces	City University of New York, Graduate Center, CUNY, University of Michigan, University of Cambridge
Alma mater	University of California, Berkeley, Stanford University
Known for	Forcing, large cardinals, set-theoretic geology, modal logic of forcing

Joel Hamkins is an American mathematician and logician noted for contributions to set theory, mathematical logic, and the philosophy of mathematics. He is associated with work on forcing, large cardinals, the modal logic of forcing, and set-theoretic geology, and has held positions at prominent institutions in North America and Europe. His research intersects with the legacy of figures such as Kurt Gödel, Paul Cohen, Dana Scott, W. Hugh Woodin, and Richard Montague.

Early life and education

Hamkins was born and raised in the United States and pursued undergraduate and graduate studies at major American universities. He attended Stanford University and completed doctoral work at the University of California, Berkeley under advisors connected to the traditions of Dana Scott and Kurt Gödel through the lineage of Alonzo Church and Emil Post. His early formation placed him amid communities influenced by developments like Gödel's incompleteness theorems and Cohen forcing, tying him to historical threads involving John von Neumann and Paul Cohen.

Academic career

Hamkins has held faculty and research positions at institutions including the University of Michigan and the City University of New York, where he is affiliated with the Graduate Center, CUNY. He has been a visitor or fellow at research centers such as Cambridge University and collaborated with scholars from Oxford University, Princeton University, Harvard University, Massachusetts Institute of Technology, Yale University, Columbia University, University of California, Berkeley, University of California, Los Angeles, New York University, Rutgers University, University of Toronto, McGill University, ETH Zurich, Institut des Hautes Études Scientifiques, Mathematical Sciences Research Institute, and Fields Institute. His teaching and mentoring connect him to graduate programs shaped by figures like Solomon Feferman and Saharon Shelah.

Research and contributions

Hamkins' research explores the structure and meta-mathematics of set theory through techniques pioneered by Paul Cohen and developed by W. Hugh Woodin, Kenneth Kunen, and Azriel Lévy. He is known for work on the modal logic of forcing, which ties modal principles to notions introduced by Saul Kripke and relates to semantic frameworks from Alfred Tarski. His investigations in set-theoretic geology study the lattice of ground models and forcing extensions, connecting to ideas of Lévy collapse and the Continuum Hypothesis debates following Georg Cantor. Hamkins has produced results on large cardinal indestructibility and interactions with notions from inner model theory advanced by researchers such as John Steel and Mitchell. He has examined definability and automorphism phenomena related to classical theorems by Kruskal and studies of models akin to the constructible universe of Kurt Gödel. Collaborations and dialogues with scholars like Joel David Hamkins' peers include exchanges with Asaf Karagila, Sy-David Friedman, Vladimir Kanovei, Moti Gitik, and Justin Moore in venues tied to conferences such as the International Congress of Mathematicians, workshops at Banff International Research Station, and seminars at the Association for Symbolic Logic.

Selected publications

Hamkins has authored and coauthored papers and monographs appearing alongside work by researchers in journals and collections associated with Springer, Elsevier, and academic publishers tied to the American Mathematical Society and the London Mathematical Society. Notable papers concern the modal logic of forcing, set-theoretic geology, and large cardinal indestructibility, often cited in relation to classic works by Paul Cohen, Kurt Gödel, Solomon Feferman, W. Hugh Woodin, and Kenneth Kunen. He has contributed to proceedings of meetings like the Symposium in Logic and Foundations of Mathematics and to volumes honoring mathematicians such as Dana Scott and Per Martin-Löf.

Awards and honors

Throughout his career Hamkins has been recognized by professional bodies and invited to present at prominent venues including the Association for Symbolic Logic, the American Mathematical Society, and the European Set Theory Conference. He has held fellowships and visiting positions connected to institutions such as University of Cambridge, Institut des Hautes Études Scientifiques, and the Mathematical Sciences Research Institute. His work is frequently discussed in surveys and expository collections alongside laureates like Fields Medal recipients and scholars awarded honors such as the Abel Prize and Turing Award for related fields.

Personal life and public engagement

Hamkins maintains an active presence in public-facing mathematical discourse, contributing to blogs, lecture series, and online forums frequented by communities centered on set theory and logic, and participating in workshops at venues like the Banff International Research Station and the Fields Institute. He engages with broader audiences through lectures in cities such as New York City, Cambridge, London, and Toronto, and through collaborations with colleagues from institutions including Rutgers University, Princeton University, Harvard University, and Yale University.

Category:Set theorists Category:Living people