Die auf dem Hochschultag am 10.11.11 verteilten Logikrätsel als PDF-Datei.




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: Di 14-15 (Zi. 804)




Contents: Publications, scripts, Notes and preprints, Editorial and other activities, Ph.D. students, Talks, Reviews, CV, some pictures, pictures of set theorists riding the logic bike.

Publications

See also here or here

Books:
  1. Logische Grundlagen der Mathematik, Springer--Verlag 2009.
  2. (with John Steel) The core model induction (version as of July 17, 2010): 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, accepted. PDF
  40. (with G. Fuchs) Set theoretic geology, in preparation.
  41. (with P. Doebler) The extender algebra and vagaries of Σ21 absoluteness, Münster Journal of Mathematics, submitted. PDF
  42. (with. D. Aspero) Martin's Maximum++ implies Woodin's axiom (*), 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. LIST OF OPEN PROBLEMS IN INNER MODEL THEORY, edited jointly with John Steel, which comes with a Bibliography of inner model theory.
  2. The Delfino problem # 12, handwritten, 50 pages. (Talk at Bonn.)
  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.
  6. Sharps and the \Sigma^1_3 correctness of K, preprint.DVI.
  7. 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.
  8. ZFC without parameters, PDF.
  9. Projective sets and large cardinals, handwritten, 28 pages. (Talk at Kiel.)

Skripten zu Vorlesungen und Seminaren

  1. 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.
  2. Skript zur Vorlesung "Logik 1": PS-Datei, PDF-Datei. (Tipp-)Fehler bitte an rds at math dot uni-muenster dot de.
  3. Skript zur Vorlesung "Logik 2" im WiSe 10/11: Chapter 1, Chapter 2, Chapter 3 Chapter 4. (Tipp-)Fehler bitte an rds at math dot uni-muenster dot de.
  4. Skript zum Seminar "Konstruktibilität" mit Ben Miller im SoSe 2011:
  5. L-Skript mit einem Beweis des Jensenschen Überdeckungssatzes: Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6.

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. Co-editor of the Münster Journal of Mathematics.
  6. 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 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.

Students, Ph.D. students, and PostDocs

  1. Dominik Adolf
  2. Daniel Busche (DFG project no. SCHI 484/2-2, "Anwendungen der Theorie der Kernmodelle in der Kardinalzahlarithmetik (bzw. pcf-Theorie)", finished in 2007)
  3. 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. Dr. Sean Cox
  5. 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. Gunter Fuchs, went to CUNY in 2009.
  7. Daisuke Ikegami (University of Amsterdam, finished in 2010)
  8. Marios Koulakis (MALOA project)
  9. Philipp Lücke (DFG project no. SCHI 484/4-1, "The interplay between algebra and logic", SFB 878)
  10. Karen Räsch (SFB 878)
  11. Philipp Schlicht ("Thin equivalence relations in L(R) and inner models", finished in 2008).
  12. 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).
  13. Bachelor theses: Sandra Uhlenbrock (2010), Jan Wulf (2010), Merle Erpenbeck (2011), Sabine Schneider (2011).
  14. Master theses: Sandra Uhlenbrock (--).

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).
  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 02, 2012, TBA

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

Reviews

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.

CV


By the way, starting with March 11, 05, and according to WebCounter, you're visitor no.
Visitor Map
Create your own visitor map!

BACK TO THE TOP.