Peter Koellner und Logic - Info zur Person

(1 - 19 von 23

)

Peter Koellner (Harvard University) Gödel's Disjunction - PhilEventsphilevents.org › event › show

philevents.org

Gödel's Disjunction – A Talk or similar by Peter Koellner (Harvard University) at Faculty House, Columbia University (Columbia University Seminar in Logic, ...

Peter Koellner | Department of Philosophyphilosophy.fas.harvard.edu › people › peter-koellner

philosophy.fas.harvard.edu

Peter Koellner joined the department in after receiving his Ph.D from MIT. His main areas of research are mathematical logic - primarily set theory - and ...

Peter Koellner | Black Hole Initiative

bhi.fas.harvard.edu

Research Interests: Mathematical logic, set theory, and the philosophy of mathematics. Bio: Peter Koellner joined the department in after receiving his Ph.D ...

Interpreting Gödel: Critical Essays - Google Books

books.google.de

Mathematical Logic and the Foundations of Mathematics. D. van Nostrand, London. Peter Koellner, On the question of absolute undecidability, Philos.

Interpreting Godel: Critical Essays - Google Books

books.google.md

S. C. Kleene, General recursive functions of natural numbers, Math. Ann. 112(1), 727–742. M. Kline, Mathematical Thought from Ancient to Modern Times. Oxford University Press, New York. G. Kneebone, Mathematical Logic and the Foundations of Mathematics. D. van Nostrand, London. Peter Koellner ...

Incompatible Ω-Complete Theories∗ Peter Koellner and W. Hugh Woodin...

www.pdfsearch.io

Incompatible Ω-Complete Theories∗ Peter Koellner and W. Hugh Woodin July 25, Source URL: logic.harvard.edu. Download Document from Source ...

Strong Logics of First and Second Order - jstor

www.jstor.org

4 PETER KOELLNER that generalize co-logic and /?-logic and share this facet of absoluteness rela tive to strong background assumptions (large cardinal ...

INCOMPATIBLE Q-COMPLETE THEORIES In this JStor

www.jstor.org

The Journal of Symbolic Logic. Volume 74. Number 4. Dec INCOMPATIBLE Q-COMPLETE THEORIES. PETER KOELLNER AND W. HUGH WOODIN.

Peter Koellner on Penrose's New Argument concerning YouTubewww.youtube.com › watch

www.youtube.com

· Professor Peter Koellner is a leading Logician and Philosopher based at Harvard University. He ...Dauer: 47:02Gepostet:

Wikipedia: Peter Koellner - Wikipediaen.wikipedia.org › wiki › Peter_Koellner

Peter Koellner is Professor of Philosophy at Harvard University. He received his Ph.D from MIT in His main areas of research are mathematical logic, ...

logic - Are there any large cardinals that are inconsistent with ZF?...

philosophy.stackexchange.com

Hugh Woodin and Peter Koellner have been working on thinking up such a large cardinal notion inconsistent with ZF; the hierarchy is roughly outlined in the ...