Faculty

Institution

Unit

Venue

Joel David Hamkins

John Cardinal O'Hara Professor of Logic

University of Notre Dame

Affiliations

College of Arts and Letters

Philosophy

Joel David Hamkins is currently serving as a College Of Arts And Letters John Cardinal O'Hara Professor of Logic at University of Notre Dame.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Joel David Hamkins

University of Notre Dame

John Cardinal O'Hara Professor of Logic

You can click a keyword to filter the displayed items

mathematical logic mathematics applied mathematics philosophy linguistics set theory computational complexity computational complexity theory formal methods applied logic algorithmic information theory semantics classical logic turing machine modal logic model theory infinite time mathematical analysis theory of computation logic in computer science infinite chess pure mathematics philosophy of logic theoretical analysis countable model symbolic computation computability theory foundation of mathematics logical formalism theoretical modeling formal mathematical reasoning analytic number theory computational model theory set-theoretic multiverse generic multiverse souslin trees large cardinals ordinal register machines scientific computing applied linguistics applied philosophy quantum science automated reasoning blockchain computational intelligence symptom management medical history integrative medicine clinical investigation internal medicine nonlinear science documentation digital scholarship extended theory extremal set theory computational logic extremal graph theory survivability deontic logic measure theory order theory nilpotent groups history of logic cryptocurrency foldable structure realization theory normative theory computational game theory cover properties lottery preparation levy-solovay theorem gap forcing dream solution continuum hypothesis woodin cardinals halting problem philosophy of mathematics computational philosophy philosophy of science infinite games foundational theory

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Modal Logic of Arithmetic Potentialism and the Universal Algorithm. Philosophia Mathematica (2026)

Joel David Hamkins

modal logictheory of computationarithmetic potentialismuniversal algorithmmathematicslogic in computer science

Every Countable Model of Arithmetic or Set Theory Has a Pointwise-Definable End Extension. Kriterion – Journal of Philosophy (2024)

Joel David Hamkins

countable modelpointwise-definable end extensionmathematics

Modal Model Theory. Notre Dame Journal of Formal Logic (2024)

Joel David HamkinsWojciech Aleksander Wołoszyn

mathematical logicapplied mathematicsknowledge representation and reasoninglinguisticsmodal logicmodal model theoryclassical logicmodel theorymathematics

Infinite Wordle and the Mastermind Numbers. Mathematical logic quarterly (2023)

Joel David Hamkins

mastermind numbersinfinite wordlemathematical logicmathematics

Choiceless Large Cardinals and Set‐Theoretic Potentialism. Mathematical logic quarterly (2022)

Raffaella CutoloJoel David Hamkins

set-theoretic potentialismchoiceless large cardinalsapplied mathematicsmathematical logic

Nonlinearity and Illfoundedness in the Hierarchy of Large Cardinal Consistency Strength. (2022)

Joel David Hamkins

nonlinear sciencenonlinear systemsdata consistencymathematics

Reflection in Second-Order Set Theory With Abundant Urelements Bi-Interprets a Supercompact Cardinal. Journal of Symbolic Logic (2022)

JOEL DAVID HAMKINSBOKAI YAO

second-order set theorymathematical logicmathematics

Kelley–Morse Set Theory Does Not Prove the Class Fodor Principle. Fundamenta Mathematicae (2021)

Victoria GitmanJoel David HamkinsAsaf Karagila

kelley-morse set theoryclass fodor principlegraph theorymathematics

The Σ 1 -Definable Universal Finite Sequence. Journal of Symbolic Logic (2021)

JOEL DAVID HAMKINSKAMERYN J. WILLIAMS

algorithmic information theorymathematical logiccomputational complexitylinguisticscomputational complexity theorymathematics

Topological Models of Arithmetic. Fundamenta Mathematicae (2021)

Ali EnayatJoel David HamkinsBartosz Wcisło

topologytopological modelsmathematics

1
2
3
4
5
12
10 / page

Joel David Hamkins

John Cardinal O'Hara Professor of Logic

University of Notre Dame

Affiliations

College of Arts and Letters

Philosophy

Joel David Hamkins is currently serving as a College Of Arts And Letters John Cardinal O'Hara Professor of Logic at University of Notre Dame.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Joel David Hamkins

University of Notre Dame

John Cardinal O'Hara Professor of Logic

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Modal Logic of Arithmetic Potentialism and the Universal Algorithm. Philosophia Mathematica (2026)

Joel David Hamkins

modal logictheory of computationarithmetic potentialismuniversal algorithmmathematicslogic in computer science

Every Countable Model of Arithmetic or Set Theory Has a Pointwise-Definable End Extension. Kriterion – Journal of Philosophy (2024)

Joel David Hamkins

countable modelpointwise-definable end extensionmathematics

Modal Model Theory. Notre Dame Journal of Formal Logic (2024)

Joel David HamkinsWojciech Aleksander Wołoszyn

mathematical logicapplied mathematicsknowledge representation and reasoninglinguisticsmodal logicmodal model theoryclassical logicmodel theorymathematics

Infinite Wordle and the Mastermind Numbers. Mathematical logic quarterly (2023)

Joel David Hamkins

mastermind numbersinfinite wordlemathematical logicmathematics

Choiceless Large Cardinals and Set‐Theoretic Potentialism. Mathematical logic quarterly (2022)

Raffaella CutoloJoel David Hamkins

set-theoretic potentialismchoiceless large cardinalsapplied mathematicsmathematical logic

Nonlinearity and Illfoundedness in the Hierarchy of Large Cardinal Consistency Strength. (2022)

Joel David Hamkins

nonlinear sciencenonlinear systemsdata consistencymathematics

Reflection in Second-Order Set Theory With Abundant Urelements Bi-Interprets a Supercompact Cardinal. Journal of Symbolic Logic (2022)

JOEL DAVID HAMKINSBOKAI YAO

second-order set theorymathematical logicmathematics

Kelley–Morse Set Theory Does Not Prove the Class Fodor Principle. Fundamenta Mathematicae (2021)

Victoria GitmanJoel David HamkinsAsaf Karagila

kelley-morse set theoryclass fodor principlegraph theorymathematics

The Σ 1 -Definable Universal Finite Sequence. Journal of Symbolic Logic (2021)

JOEL DAVID HAMKINSKAMERYN J. WILLIAMS

algorithmic information theorymathematical logiccomputational complexitylinguisticscomputational complexity theorymathematics

Topological Models of Arithmetic. Fundamenta Mathematicae (2021)

Ali EnayatJoel David HamkinsBartosz Wcisło

topologytopological modelsmathematics

1
2
3
4
5
12
10 / page

Similar Faculty Members

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Wilfried Sieg

Institution

Carnegie Mellon University

mathematical logic

proof theory

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

John Burgess

Institution

Princeton University

philosophical logic

philosophy

James H. Moor

Institution

Dartmouth College

philosophy of computer science

multidisciplinary ai

Itay Neeman

Institution

University of California, Los Angeles

philosophy

foundational theory

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Similar Faculty Members

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Wilfried Sieg

Institution

Carnegie Mellon University

mathematical logic

proof theory

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

John Burgess

Institution

Princeton University

philosophical logic

philosophy

James H. Moor

Institution

Dartmouth College

philosophy of computer science

multidisciplinary ai

Itay Neeman

Institution

University of California, Los Angeles

philosophy

foundational theory

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics