SAKAI, Hiroshi
>personal home page
|
|
Title
|
Professor |
Field
|
Mathematical Logic, Set Theory |
Research interests
|
Large Cardina Axioms, Forcing Axioms and their consequences in infinite combinatorics and cardinal arithmetic |
Current research
|
The standard axiom system ZFC of set theory is a comprehensive axiom system in which almost all standard mathematics can be formalized. But it is known that many mathematical propositions on infinity, such as the Continuum Hypothesis, are not decidable in ZFC. I am investigating what can be proved in various expansions of ZFC. Especially, I am interested in expansions of ZFC by Large Cardinal Axioms, Forcing Axioms and Reflection Principles. |
Selected publications
|
|
Memberships, activities and Awards |
The Mathematical Society of Japan Association for Symbolic Logic Editor of The Journal of Symbolic Logic (2020-) Councilor of The Mathematical Society of Japan (2022-2024)
|