Peter Koellner is professor of philosophy at

Harvard University Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyma ...

. He received his

Ph.D. A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

from

MIT The Massachusetts Institute of Technology (MIT) is a private research university in Cambridge, Massachusetts, United States. Established in 1861, MIT has played a significant role in the development of many areas of modern technology and sc ...

in 2003. His main areas of research are

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

, specifically

set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...

, and

philosophy of mathematics Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathem ...

philosophy of physics In philosophy, the philosophy of physics deals with conceptual and interpretational issues in physics, many of which overlap with research done by certain kinds of theoretical physicists. Historically, philosophers of physics have engaged with ...

analytic philosophy Analytic philosophy is a broad movement within Western philosophy, especially English-speaking world, anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mat ...

, and

philosophy of language Philosophy of language refers to the philosophical study of the nature of language. It investigates the relationship between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy), me ...

. In 2008 Koellner was awarded a Kurt Gödel Centenary Research Prize Fellowship. Currently, Koellner serves on the

American Philosophical Association The American Philosophical Association (APA) is the main professional organization for philosophers in the United States. Founded in 1900, its mission is to promote the exchange of ideas among philosophers, to encourage creative and scholarl ...

's Advisory Committee to the Eastern Division Program Committee in the area of Logic. According to a review by Pierre Matet on

Zentralblatt MATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastru ...

, his joint paper with Hugh Woodin ''Incompatible Ω-Complete Theories'' contains an illuminating discussion of the issues involved, which makes it recommended reading for anyone interested in modern set theory.

Papers

On the Question of Absolute Undecidability
''

Philosophia Mathematica ''Philosophia Mathematica'' is a philosophical journal devoted to the philosophy of mathematics, published by Oxford University Press Oxford University Press (OUP) is the publishing house of the University of Oxford. It is the largest univer ...

'' (III) 14 (2006) *On Reflection Principles, ''

Annals of Pure and Applied Logic The ''Annals of Pure and Applied Logic'' is a peer-reviewed scientific journal published by Elsevier that publishes papers on applications of mathematical logic in mathematics, in computer science, and in other related disciplines.

'', Volume 157, Issues 2-3, February 2009, Pages 206-219, Kurt Gödel Centenary Research Prize Fellowships
Incompatible Ω-Complete Theories
(with Hugh Woodin), ''

Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zent ...

'', Volume 74, Issue 4 (2009), 1155-117

*Large Cardinals from Determinacy (with Hugh Woodin), to appear in '' Handbook of Set Theory'' *Strong Logics of First and Second Order, to appear in ''

Bulletin of Symbolic Logic Bulletin or The Bulletin may refer to: Periodicals (newspapers, magazines, journals) * ''Bulletin'' (online newspaper), a Swedish online newspaper * ''The Bulletin'' (Australian periodical), an Australian magazine (1880–2008) ** Bulletin Deb ...

'' *Truth in Mathematics: The Question of Pluralism (to appear in '' New Waves in Philosophy of Mathematics'')Koellner at Harvard
/ref>

Notes

External links

website at Harvard
{{DEFAULTSORT:Koellner, Peter Philosophers of mathematics Harvard University Department of Philosophy faculty Living people Year of birth missing (living people)