Topic Archive: Japan
Miami University of Ohio
Professor Larson (B.S. Dartmouth, Ph.D. UC Berkeley) conducts research in set theory, particularly on the topic of forcing and large cardinals.
Kobe University, Visiting Fellow, Grad Center, CUNY
Hitoshi Omori is a visting fellow in the CUNY Graduate Center program in Philosophy, visiting from Kobe University. His main research interests are Logic, Logic And Foundations Of Mathematics, Philosophy of Logic, Philosophical Logic, Modal Logic and Non-Classical Logic.
Mathematical Institute, Tohoku University
Keita Yokoyama is an assistant professor in the Mathematical Institute at Tohoku University in Sendai, Japan. Previously he held a postdoctoral appointment at Pennsylvania State University.
University of Bristol
Professor Welch (Professor of Mathematical Logic, University of Bristol) conducts research on a broad selection of topics in mathematical and philosophical logic. In set theory, he is a leading researcher on the topics of fine structure and core models, problems concerning determinancy, large cardinals and strong axioms of infinity. He has worked in the philosophy of mathematics on the foundations of set theory and theories of truth. And he has been a central figure in the recently intensified work on infinitary models of computation.
The City University of New York
Professor Hamkins (Ph.D. 1994 UC Berkeley) conducts research in mathematical and philosophical logic, particularly set theory, with a focus on the mathematics and philosophy of the infinite. He has been particularly interested in the interaction of forcing and large cardinals, two central themes of contemporary set-theoretic research. He has worked in the theory of infinitary computability, introducing (with A. Lewis and J. Kidder) the theory of infinite time Turing machines, as well as in the theory of infinitary utilitarianism and, more recently, infinite chess. His work on the automorphism tower problem lies at the intersection of group theory and set theory. Recently, he has been preoccupied with various mathematical and philosophical issues surrounding the set-theoretic multiverse, engaging with the emerging debate on pluralism in the philosophy of set theory, as well as the mathematical questions to which they lead, such as in his work on the modal logic of forcing and set-theoretic geology.
BerkeleyCSICUNYCaltechGraduate CenterJapanNew YorkUvAapproximation and coverautomorphism towercomputabilityforcinginfinitary computabilityinfinite chesslarge cardinalsmaximality principlemultiversephilosophical logicphilosophyphilosophy of mathematicsphilosophy of set theoryset theoryset-theoretic geologytall cardinalsunfoldable cardinalsuplifting cardinals