Ralf Schindler


Professor (C4)

Institut für mathematische Logik und Grundlagenforschung

Fachbereich Mathematik und Informatik

Universität Münster

Einsteinstr. 62

48149 Münster, Germany

e-mail: rds at math dot uni-muenster dot de

(with the "at" replaced by "@," and each occurence of "dot" replaced by a dot)

phone: +49-251-83-33790 or +49-251-83-33761

fax: +49-251-83-33078

Erdös #: 2; Research interest: set theory.

Sprechstunde: Mittwoch 13-14 (Zi. 804)


Contents: Publications, scripts + Übungszettel zur VL "Logik 3" im WiSe 2014--15, Notes and preprints, Editorial and other activities, Ph.D. students, Talks, Reviews, CV, some pictures, pictures of set theorists riding the logic bike.


See also here.


  1. Logische Grundlagen der Mathematik, Springer--Verlag 2009.
  2. Set theory. Exploring independence and truth, 332+x pp., Springer--Verlag 2014. You may order it here or here. Here is Schindler's list of errata.
  3. (with John Steel) The core model induction (version as of April 12, 2013, with a correct proof of the existence of A-iterable mice): PDF.

Research papers:

  1. Prädikative Klassen, Erkenntnis 39 (1993), pp. 209–241.
  2. A Dilemma in the Philosophy of Set Theory, Notre Dame Journal of Formal Logic 35 (1994), pp. 458–463. PDF
  3. Weak Covering at Large Cardinals, Mathematical Logic Quarterly 43 (1997), pp. 22–28.
  4. On a Chang Conjecture, Israel Journal of Mathematics 99 (1997), pp. 221–230.
  5. The core model up to one strong cardinal, Bonner Mathematische Schriften Nr. 295 (1997).
  6. On a Chang Conjecture II, Archive for Mathematical Logic 37 (1998), pp. 215–220.
  7. Successive weakly compact or singular cardinals, Journal of Symb. Logic 64 (1999), pp. 139–146.
  8. Weak covering and the tree property, Archive for Mathematatical Logic 38 (1999), pp. 515–520.
  9. (joint with M. Foreman and M. Magidor) The consistency strength of successive cardinals with the tree property, Journal of Symbolic Logic 66 (2001), pp. 1837–1847.
  10. (joint with K. Hauser) Projective uniformization revisited, Annals of Pure and Appl. Logic 103 (2000), pp. 109–153. PS. PDF by sciencedirect.
  11. Strong cardinals and sets of reals in L_{\omega_1}(R), Mathematical Logic Quarterly 45 (1999), pp. 361–369.
  12. Coding into K by reasonable forcing, Transactions of the Amer. Math. Soc 353 (2000), pp. 479 - 489. PS.
  13. (joint with S. Friedman) Universally Baire sets and definable well-orderings of the reals, Journal of Symbolic Logic 68 (2003), pp. 1065 - 1081. PS, PDF.
  14. (joint with J. Steel and M. Zeman) Deconstructing inner model theory, Journal of Symbolic Logic 67 (2002), pp. 721 - 736. PS, PDF.
  15. Proper forcing and remarkable cardinals, Bulletin of Symbolic Logic 6 (2000), pp. 176 - 184. PS, PDF.
  16. Proper forcing and remarkable cardinals II, Journal of Symbolic Logic 66 (2001), pp. 1481- 1492. PS, PDF.
  17. The core model for almost linear iterations, Annals of Pure and Appl. Logic 116 (2002), pp. 207 - 274. PS, PDF, PDF by sciencedirect.
  18. Iterates of the core model, Journal of Symbolic Logic 71 (2006), pp.241-251. PS, PDF.
  19. Mutual stationarity in the core model, Proceedings of LC2001, in: "Logic colloquium 01" (Baaz et al., eds., Lecture Notes in Logic 20, 2005), pp.386-401. PS, PDF.
  20. (joint with Th. Räsch) A new condensation principle, Archive for Math. Logic 44 (2005), pp.159-166. PS, PDF.
  21. Forcing axioms and projective sets of reals, Proceedings of FotFS III, in: "Classical and new paradigms of computation and their complexity hierarchies" (Löwe et al., eds., Kluwer 2004), pp.207-222. PS, PDF.
  22. P ≠ NP for infinite time Turing machines, Monatshefte für Mathematik 139 (4) (2003), pp.335-340. PS, PDF. PDF by Springer.
  23. (joint with B. Mitchell) A universal extender model without large cardinals in V, J. Symb. Logic 69 (2004), pp. 371-386. PS.
  24. (joint with M. Gitik and S. Shelah), Pcf theory and Woodin cardinals, Proceedings of LC2002 (Chatzidakis et al., eds.), Lecture Notes in Logic 27, pp. 172-205. PS, PDF.
  25. (joint with P. Koepke) Homogeneously Souslin sets in small inner models, Archive for Math. Logic 45 (2006), pp.53-61. PS, PDF.
  26. (joint with J. Hamkins and V. Deolalikar) P ≠ NP ∩ coNP for infinite time Turing machines, Journal of Logic and Computation 15 (2005), pp. 577-592. PS.
  27. (joint with M. Zeman) Fine structure theory, a chapter for the Handbook of Set Theory (Foreman, Kanamori, Magidor, eds.), Springer-Verlag 2009. PS, PDF,
  28. Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum, Mathematical Logic Quarterly 50 (6) (2004), pp. 527 - 532. PS, PDF.
  29. Bounded Martin's Maximum and strong cardinals, in: Set theory. Centre de recerca Matematica, Barcelona 2003-4 (Bagaria, Todorcevic, eds.), Basel 2006, pp. 401-406. PS, PDF.
  30. (with A. Caicedo) Projective well-orderings of the reals, Archive for Mathematical Logic 45 (2006), pp. 783-794. PS
  31. Core models in the presence of Woodin cardinals, J. Symb. Logic 71 (2006), pp. 1145-1154. PS, PDF.
  32. (with J. Steel) The self-iterability of L[E], Journal of Symb. Logic 74 (2009), pp. 751-779. PS, PDF.
  33. (with G. Fuchs and I. Neeman) A criterion for coarse iterability, Archive Math. Logic 49 (2010), pp. 447-468. PDF.
  34. (with R. Jensen, E. Schimmerling, and J. Steel) Stacking mice, Journal of Symb. Logic 74 (2009), pp.315-335. PS, PDF.
  35. (with B. Claverie) Increasing u2 by a stationary set preserving forcing, Journal of Symb. Logic 74 (2009), pp.187-200. PS, PDF.
  36. (with D. Busche) The strength of choiceless patterns of singular and weakly compact cardinals, Ann. Pure Appl. Logic, 159 (2009), pp. 198-248. PDF.
  37. (with P. Schlicht) Thin equivalence relations in scaled pointclasses, Mathematical Logic Quarterly, to appear. PDF
  38. (with P. Doebler) Π2 consequences of BMM plus NS is precipitous and the semiproperness of all stationary set preserving forcings, Math. Res. Letters 16 (2009), no. 5, pp. 797 -- 815. PDF.
  39. (with B. Claverie) Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on \omega_1, Jornal of Symbolic Logic 77, 2, pp. 475 -- 498. PDF
  40. (with G. Fuchs) Set theoretic geology, Journal Symb. Logic, submitted. PDF
  41. (with P. Doebler) The extender algebra and vagaries of Σ21 absoluteness, Münster Journal of Mathematics 6 (2013), pp. 117 - 166. PDF
  42. (with A. Caicedo, G. Sargsyan, P. Larson, J. Steel, and M. Zeman) Square principles in Pmax extensions, Israel J. of Mathematics, submitted to the Israel Journal of Mathematics. PDF
  43. (with D. Aspero) Bounded Martin's Maximum with an asterisk, Notre Dame J. Formal Logic 55 (3), pp. 333--348. PDF
  44. (with C. Yong) Harrington's principle in higher order arithmetic, to appear to the JSL. PDF
  45. (with T. Hofweber) Hyperreal-valued probability measures approximating a real-valued measure, to appear in the Notre Dame J. of Formal Logic. PDF
  46. Remarkable cardinals, in: Infinity, Computability, and Metamathematics (Geschke et al., eds.), Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, pp. 299-308. PDF
  47. (with S. Uhlenbrock and W.H. Woodin) Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, in preparation.
  48. (with S. Friedman and D. Schrittesser) Coding over core models, in: Infinity, Computability, and Metamathematics (Geschke et al., eds.), Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, pp. 167-182. PDF
  49. (with W.H. Woodin) The influence of cf(Γ), in preparation.

Survey/historical papers:

  1. Wozu brauchen wir grosse Kardinalzahlen? Mathematische Semesterberichte 53 (2006), pp. 65 - 80. PS
  2. Kurt Gödel (1906-1878), DMV-Nachrichten 14 (2006), pp. 42 - 45; English translation: Newsletter of the European Math. Society 62 (2006), pp. 29 - 31; Chinese translation: Mathematical Advance in Translation, vol. no. 4 (2010), pp. 338--342.

Notes and preprints

  1. The Delfino problem # 12, handwritten, 50 pages. (Talk at Bonn.) PDF. Link to Philipp Doebler's writeup of Steel's solution to the 12th Delfino Problem: PDF.
  2. Link to Benjamin Claverie's writeup of the Dodd--Jensen Covering Lemma below 0-dagger: PDF.
  3. (joint with J. Steel) The strength of AD (contains an outline of Woodin's core model induction, new version as of 07/04/06), preprint. PS, PDF.
  4. A note on an alleged proof of the relative consistency of P=NP with PA, preprint. PS, PDF. Cf. also here and there.
  5. A simple proof of \Sigma^1_3 correctness of K, preprint. DVI, PDF.
  6. Sharps and the \Sigma^1_3 correctness of K, preprint.DVI, PDF.
  7. From Wadge comparability to determinacy, preprint. PDF.
  8. ACA_0, Pi^1_1-CA_0, and the semantics of arithmetic, and BG, BG + Sigma^1_1-Ind, and the semantics of set theory, 10/17/02, note. PS, PDF.
  9. ZFC without parameters, PDF.
  10. Projective sets and large cardinals, handwritten, 28 pages. (Talk at Kiel.) PDF.
  11. On NS being saturated, PDF.
  12. Link to Sandra Uhlenbrock's writeup of an account of Woodin's HOD conjecture (in German): PDF.
  13. (with G. Fuchs, E. Schimmerling, F. Schlutzenberg, S. Uhlenbrock, T. Wilson) A weak (?) consequence of determinacy, PDF.

Open problem lists

  1. LIST OF OPEN PROBLEMS IN INNER MODEL THEORY, edited jointly with John Steel, which comes with a Bibliography of inner model theory. Warning: COMPLETELY OUTDATED!!
  2. Links to a list of problems that was produced at the AIM meeting "Recent advances in core model theory," organized by E. Schimmerling and J. Steel in Dec 13-17, 2004: PDF, PDF.
  3. List of problems that was produced by Per Stinchcombe at the AIM meeting "Descriptive inner model theory," organized by R. Schindler and J. Steel in June 02-06, 2014: PDF.

Skripten zu Vorlesungen und Seminaren

  1. Übungszettel zur Vorlesung "Logik 3," WiSe 2014--15: Zettel Nr. 1, Zettel Nr. 2, Zettel Nr. 3, Zettel Nr. 4, Zettel Nr. 5, Zettel Nr. 6, Zettel Nr. 7, Zettel Nr. 8. Übungsgruppenleiter: Marvin Landwehr; Briefkasten für die Abgabe: 180.
  2. Übungszettel zur Vorlesung "Logische Grundlagen der Mathematik," SoSe 2014: Zettel Nr. 1, Zettel Nr. 2, Zettel Nr. 3, Zettel Nr. 4, Zettel Nr. 5, Zettel Nr. 6, Zettel Nr. 7, Zettel Nr. 8, Zettel Nr. 9, Zettel Nr. 10. Übungsaufgaben zur Klausurvorbereitung: Klausurzettel. Eine Klausur zur VL "Logische Grundlagen" nach der alten Studienordnung findet statt am Freitag, 30.01.2015, 09:00--13:00 im M6 !!!
  3. Skript zur Vorlesung "Berechenbarkeitstheorie", Version vom 08.09.09: PS-Datei, PDF-Datei. (Tipp-)Fehler bitte an rds at math dot uni-muenster dot de. Frühere Klausuren: 1, 2.
  4. Skript zur Vorlesung "Logik 1": PS-Datei, PDF-Datei. (Tipp-)Fehler bitte an rds at math dot uni-muenster dot de.
  5. Die auf dem Hochschultag am 13.11.2014 verteilten Logikrätsel als PDF-Datei.

Editorial and other activities

  1. Co-editor of the Journal of Symbolic Logic.
  2. Managing editor of the Archive for Mathematical Logic.
  3. Co-editor of the Ontos Verlag series in Mathematical Logic. Information for potential authors may be downloaded here.
  4. Co-editor of the Mathematische Semesterberichte.
  5. Former editor of the Münster Journal of Mathematics.
  6. Former treasurer of the IUHPS/DLMPS (International Union of the History and Philosophy of Science/Division of Logic, Methodology, and Philosophy of Science)
  7. One of the former chairmen of the DVMLG, the German Logic Society.
  8. Vertrauensdozent der Studienstiftung des deutschen Volkes. Fotos von einem Treffen mit meiner Stipendiatengruppe, 2006. 2007. 2008. Stockholm, 2009.
  9. Co-organizer (with R. Jensen and M. Magidor) of a mini-workshop in inner model theory, Apr 30 - May 06, 2006, Oberwolfach.
  10. Co-organizer of the Logic Colloquium, July 27 - Aug 2, 2006, Nijmegen.
  11. Co-organizer (with E.Schimmerling) of a mini-symposium in set theory during the DMV meeting, Bonn, Sept 18-22, 06.
  12. Organizer of the PohlersFest, July 17-19, 2008, Münster. Pictures!
  13. Co-organizer of the 2nd European Set Theory Conference (Bedlewo, Poland), July 6-10, 2009.
  14. Co-organizer (with R. Jensen and M. Magidor) of a mini-workshop in inner model theory, Nov 08 - 14, 2009, Oberwolfach.
  15. Co-organizer (with J. Steel) of the 1st conference on the core model induction and hod mice in Münster, July 19 -- Aug 06, 2010.
  16. Co-organizer of the Colloquium Logicum, Münster, Sept 22-24, 2010.
  17. Co-organizer (with J. Steel) of the 2nd conference on the core model induction and hod mice in Münster, Aug 08 -- Aug 19, 2011.
  18. Seminar im Rahmen der Sommerakademie der Studienstiftung in Neubeuern 2013
  19. Co-organizer, with J. Steel, of the Descriptive inner model theory meeting at the American Institute of Mathematics, Palo Alto, June 02-06, 2014.
  20. Co-organizer, with J. Steel, of the Mitchell fest, Berkeley, June 07-08, 2014.
  21. Co-organizer, with J. Steel, of the Descriptive inner model theory meeting, Berkeley, June 09-13, 2014.
  22. Co-organizer of the 5th European Set Theory Conference (Cambridge, England), Aug 24-28, 2015.
  23. Co-organizer (with J. Steel) of the 3rd Münster conference on inner model theory, the core model induction, and hod mice, July 20 -- 24, 2015.

Undergrad students

  1. Diploma theses: Benjamin Claverie (2005), Philipp Doebler (2006), Thilo Weinert (2008), Philipp Lücke (2008), Dominik Adolf (2008), Marek Wyszkowski (2009), Carsten Szardenings (2010), Jakob Rittberg (2010), Max Giersberg (2010), Tobias Förster (2012), Max Temme (--), Barzin Hadjimoradi (--).
  2. Bachelor's theses: Sandra Uhlenbrock (2010), Jan Wulf (2010), Merle Erpenbeck (2011), Sabine Schneider (2011), Christof Beierle (2012), Eike Bunn (2012), Momme Steffen (2012), Marvin Landwehr (2012), Jonas Fox (2013), Stefan Miedzianowski (2013), Maximilian Gievert (2013), Patrick Aguilar (--), Benjamin Reuting (2014).
  3. Master's theses: Sandra Uhlenbrock (2012), Eike Bunn (--), Momme Steffen (2014).

Ph.D. students

  1. Dr. Dominik Adolf (finished in 2013)
  2. Dr. Daniel Busche (DFG project no. SCHI 484/2-2, "Anwendungen der Theorie der Kernmodelle in der Kardinalzahlarithmetik (bzw. pcf-Theorie)", finished in 2007)
  3. Dr. Benjamin Claverie (DFG project no. SCHI 484/3-1, "Anwendungen der Theorie der inneren Modelle auf Fragen der Absolutheit und Korrektheit", finished in 2010)
  4. Jury Fabiana Castiblanco Quiroga
  5. Dr. Philipp Doebler (DFG project no. SCHI 484/3-1, "Anwendungen der Theorie der inneren Modelle auf Fragen der Absolutheit und Korrektheit", finished in 2010)
  6. Dr. Daisuke Ikegami (University of Amsterdam, finished in 2010)
  7. Marios Koulakis (MALOA project)
  8. Dr. Philipp Lücke (DFG project no. SCHI 484/4-1, "The interplay between algebra and logic", SFB 878, finished in 2012)
  9. Dr. Philipp Schlicht ("Thin equivalence relations in L(R) and inner models", finished in 2008).
  10. Ghafran Tabbakh
  11. Sandra Uhlenbrock
  12. Gabriel Zanetti Nunes Fernandes


  1. Dr. Sean Cox, went to VCU in 2012.
  2. Dr. Gunter Fuchs, went to CUNY in 2009.
  3. Dr. David Schrittesser.
  4. Dr. Cheng Yong.
  5. Dr. Zhu Yizheng.

Invited talks

  1. Oxford, 05/26/94, Bicephali below o(k)=k++.
  2. Berlin, Dec. 95, Combinatorial applications of the core model.
  3. Fine structure meeting at Oberwolfach, July 97, Iterability below a measurable limit of strongs.
  4. Non-meeting at Irvine, Dec 97, Regularity properties of sets of reals.
  5. VIG at UCLA, Jan. 98, Strong cardinals and sets of reals in L_{omega_1}(R).
  6. L.A. Logic Colloquium, Oct. 98, Nice sets of reals and choice-like principles.
  7. Berkeley Logic Colloquium, Dec. 98, Coding into mice and other subtleties.
  8. ASL Annual Meeting at San Diego, March 99, Coding into L(R), cancelled.
  9. Lecture series at Bonn, April 99, The Delfino problem # 12.
  10. Greater Boston Logic Meeting at MIT, May 99, Projective sets and singletons.
  11. Berlin Logic Colloquium, Dec. 99, Generic absoluteness.
  12. Set theory meeting at Oberwolfach, Dec. 99, The core model for almost linear iterations. Picture.
  13. ASL Annual Meeting at Urbana-Champaign, June 2000, Inner models and 0^hand-grenade.
  14. 6eme Atelier Int'l de Theorie des Ensembles at Luminy, 09/20/00, Proper forcing and remarkable cardinals.
  15. Berlin Logic Colloquium 01/15/01, Das Kernmodell für fast lineare Iterationen.
  16. München 01/17/01, Projektive Mengen und Kernmodelle.
  17. Non-meeting at Bonn, 01/19/01, Core models.
  18. Münster 02/09/01, Projektive Mengen reeller Zahlen und Kernmodelle. DVI.
  19. Fine structure meeting at Oberwolfach, Hand grenades I + II, 02/26 + 02/28/01
  20. Fine structure meeting at Oberwolfach, A universal weasel, 03/01/01.
  21. ASL European Summer meeting, Vienna, 08/10/01, Mutual stationarity in L[E].
  22. Set theory workshop, Vienna, 08/13/01: Iterates of the core model.
  23. Foundations of the formal sciences III, Vienna, 09/23/01, Projective sets of reals and core models. DVI.
  24. Set theory meeting, Oberwolfach, 01/21/02: Mutual stationarity in L[E].
  25. Paris 06/17/02: Cardinal arithmetic and determinacy.
  26. Bonn 06/20/02: Einfache Korrektheitsbeweise. DVI.
  27. München 06/24/02: Kardinalzahlarithmetik und Determiniertheit.
  28. ASL European Summer meeting, Münster, 08/05/02: Transfer theorems. Slides: PS, PDF.
  29. 7th Atelier Int'l de Theorie des Ensembles at Luminy, 09/19/02, Pcf theory and Woodin cardinals.
  30. Kiel, Dec 11, 02, Projektive Mengen und grosse Kardinalzahlen, seminar talk.
  31. Kiel, Dec 13, 02, Projektive Mengen reeller Zahlen, Colloquium talk.
  32. Fine structure meeting, Bonn, July 07-11, 03, Forcing axioms and the constructible universe.
  33. Barcelona conference on set theory, Sept 16-20, 03, 4-hour course. The role of absoluteness and correctness. Slides in dvi.
  34. Bonn, Nov 20, 03, Verallgemeinerungen von Martins Axiom.
  35. Barcelona, Feb 17, 04, Semi-proper forcing and remarkable cardinals.
  36. Antrittsvorlesung, Jun 16, 04, Wozu bauchen wir grosse Kardinalzahlen? ps-file.
  37. DVMLG meeting, Heidelberg, Sept 17, 04, Cardinal arithmetic and determinacy ps-file.
  38. Eighth Luminy Set Theory Workshop September 20 - 24th, 2004, BMM - one answer and one problem.
  39. DMV meeting, Mainz, June 05, Projective equivalence relations and inner model theory.
  40. TU Darmstadt, July 06, 05, Wozu brauchen wir grosse Kardinalzahlen?
  41. Freiburg, Dec 02, 05, Äquivalenzrelationen und grosse Kardinalzahlen. ps-file. pdf-file.
  42. Fine structure workshop, Oberwolfach, May 06, The self-iterability of L[E].
  43. British Logic Colloquium, Oxford, Sept 06, Pcf theory and determinacy.
  44. Colloquium Logicum, Bonn, Sept 06, If every uncountable cardinal is singular, then AD holds in L(R).
  45. Ninth Luminy Set Theory Workshop, Oct 3, 06, Diamond^+_kappa,lambda in L[E]
  46. Bonn Nov 30, 06, The strength of PFA.
  47. Hausdorff Center for Math, Bonn, Jan 23, 07, The P vs. NP problem for infinite time Turing machines
  48. Logic Colloquium, UC Berkeley, Sept 21, 07, Forcing axioms and large cardinals
  49. UC Irvine, Nov 05, 07, BMM, canonical functions, and precipitous ideals
  50. UC Irvine, Nov 26, 07, Proving projective determinacy, ps-file, pdf-file.
  51. Tenth Luminy workshop in Set Theory, Sept 08, Π_2 consequences of BMM plus NS is precipitous.
  52. Paris 7, Oct 08, Π_2 consequences of BMM plus NS is precipitous.
  53. Bonn June 12, 09, Mining strength from hypotheses incompatible with choice
  54. Workshop on large cardinals, Wien, June 09, Bounded forcing axioms and reflection
  55. ASL European Summer meeting, Sophia (Bulgaria), July 31 to August 5, 2009, three-hour tutorial course on "the evolution of inner models": part 1, part 2, part 3.
  56. Mittag-Leffler Institute, Djursholm, Sweden, Woodin's axiom (*), bounded forcing axioms, and related issues, part 1 and 2, Oct 01 and 29, 2009.
  57. Young set theorist's workshop, Raach am Hochgebirge, tutorial course on inner model theory, Feb 15--19, 2010.
  58. Graduate center, New York City, March 26, 2010, Π_2 consequences of BMM plus NS is precipitous
  59. Fields Institute, Toronto, April 09, 2010, Π_2 consequences of BMM plus NS is precipitous.
  60. Math colloquium, München, April 23, 2010, Sind große Kardinalzahlen entbehrlich?, PDF.
  61. Barcelona, April 29, 2010, Forcing axioms and determinacy
  62. Amsterdam, June 01, 2010, Mice and set theoretic geology
  63. München, Nov 03, 2010, Forcing-Axiome und die Feinanalyse von Hω2, pdf.
  64. Harvard, "The Higher Infinite: 50 Years of Large Cardinals and Inner Models", Feb 18--20, 2011, Generic Iterations and Forcing Axioms
  65. Bonn, April 18, 2011, Resectionable truth
  66. UC Irvine, May 04, 2011, Resectionable and other Σ1 truths
  67. LPS, UC Irvine, May 06, 2011, Dilemmas and truths in set theory, PDF.
  68. Edinburgh, July 2011, BMM*
  69. Palermo, April 03 and 04, 2012, Recent insights concerning the continuum problem and A dilemma in the philosophy of set theory, PDF1 and PDF2
  70. Barcelona, June 2012, A proof of Jensen's Covering Lemma, lecture series.
  71. Luminy, Sept 2012, Tutorial on Jensen's L-forcing, 1st lecture, 2nd lecture, 3rd lecture.
  72. Oxford, Oct 08 , 2012, Dilemmas and truths in set theory.
  73. Fields Institute, Toronto, Nov 12, 2012, An Axiom.
  74. Barcelona, Dec 15, 2012, Martin's Maximum with an asterisk.
  75. UC Irvine, Feb 25, 2013, Stationary reflection, mouse reflection, and strategy reflection.
  76. Tecklenburg, May 02, 2013, Wozu brauchen wir große Kardinalzahlen?
  77. Wien, Sept 25, 2013, Does analytic determinacy yield zero-sharp?
  78. Bonn, Oct 21, 2013, Does analytic determinacy yield zero-sharp?
  79. UC Irvine, Feb 24, 2014, Harrington's Principle and remarkable cardinals.
  80. Harvard University, March 26, 2014, Martin's Maximum with an asterisk.
  81. Bonn, May 24, 2014, Martin's Maximum with an asterisk.
  82. Bristol, July 06, 2014, TBA, cancelled.
  83. Poznan, Sept, 2014, cancelled.
  84. Hebrew University, Jerusalem, Feb 27, 2015, TBA.
  85. CUNY, March 30, 2015, TBA.
  86. MAMLS meeting, CMU, May 30-31, 2015, TBA.
  87. Logic Colloquium 2015, Helsinki, August 03-08, 2015, plenary talk.

Contributed talks

  1. ASL European Summer Meeting at Haifa, Aug. 95, On a Chang conjecture.
  2. BEST at Boise, March 97, On (the consistency strenth of) certain consequences of AD.
  3. ASL European Summer Meeting at Leeds, July 97, On patterns of cardinals with the tree property.
  4. Berlin, 06/25/01, Habilitationskolloquium, P = NP? ps-file , pdf-file
  5. Münster, July 27--30, 2010, Tutorial on the core model induction.
  6. Zentrum für Wissenschaftstheorie, Münster, 22.06.11, Braucht die Mathematik neue Axiome? PDF
  7. Münster, Aug 2011, BPFA plus a precipitous ideal on ω1


See also here

  1. Besprechung von Sets and Proofs (Cooper, Truss, eds.) für die Int'l Math. News 185.
  2. Review of Cardinal Arithmetic by M. Holz, K. Steffens, and E. Weitz for Studia Logica.
  3. Besprechung von Fine structure and class forcing von S.D. Friedman für die Int'l Math. News 188.
  4. Besprechung von On numbers and games von J. Conway für die Int'l Math. News 189.
  5. Besprechung von From Trotzy to Gödel. The life of Jean van Heijenoort von A.B. Feferman für die Int'l Math. News 189. PDF.
  6. Review of Consequences of an exotic definition for P=NP by N.C.A.da Costa and F.A.Doria. PS.
  7. Review of Die Logik der Unbestimmtheiten und Paradoxien by Ulrich Blau for the BSL. PDF.
  8. Review of Combinatorial Set Theory by L.J. Halbeisen for the Jahresberichte der Deutschen Math.-Vereinigung. PDF.


Visitor Map