Recent and upcoming talks by Peter Holy

Generalised Baire Spaces, Amsterdam, August 22-24, 2018

KNAW Academy Colloquium Generalised Baire Spaces Amsterdam, The Netherlands Master Class: 22 August 2018 / Colloquium: 23–24 August 2018 Organisers. Lorenzo Galeotti, Benedikt Löwe, Philipp Lücke. Descriptive set theory and set theory of the reals traditional deal with well-known and well-studied topological spaces such as the real numbers, Cantor space, and Baire space. continue reading…

Peter Holy: The exact strength of the class forcing theorem

Monday, October 23, 2017, 16.30 Seminar room 0.008, Mathematical Institute, University of Bonn Speaker: Peter Holy (Universität Bonn) Title: The exact strength of the class forcing theorem Abstract: We consider second order set theories, that have as objects both sets and classes, and the role of the class forcing theorem, that is the forcing theorem for all notions of class forcing, within this range of theories. continue reading…

Peter Holy: Small embedding characterizations for large cardinals, and internal large cardinals

KGRC Research Seminar – 2017‑04‑06 at 4pm Speaker: Peter Holy (University of Bonn, Germany) Abstract: Many notions of large cardinals are characterized in terms of the existence of certain elementary embeddings with the large cardinal in question as their critical point. continue reading…

Peter Holy: A Hierarchy of Ramsey cardinals

Tuesday, March 7, 2017, 15.00 Howard House 4th Floor Seminar Room Speaker: Peter Holy (Hausdorff Centre, University of Bonn) Title: A Hierarchy of Ramsey cardinals Abstract: I will introduce a hierarchy of large cardinal notions in the area of Ramsey cardinals, that in particular are closely related to Victoria Gitman’s Ramsey-like cardinals. continue reading…

9th Young Set Theory Workshop, Copenhagen, June 13-17, 2016

The 9th Young Set Theory Workshop (YST 2016) will take place at the University of Copenhagen, June 13th to 17th 2016. This years tutorial speakers are Nicola Gambino, Alexander S. Kechris, Heike Mildenberger and Stevo Todorcevic. continue reading…

5th European Set Theory Conference, August 24 – 28, 2015

The 5th European Set Theory Conference (5ESTC) is the fifth meeting in a series of biannual meetings coordinated by the European Set Theory Society. Earlier meetings were held in Bedlewo (1ESTC, July 2007 and 2ESTC, July 2009), Edinburgh (3ESTC, July 2011) and Mon St. continue reading…

Logic Colloquium 2015, August 3-8, 2015

The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science, CLMPS 2015, and with the SLS Summer School in Logic. continue reading…

Inner and Outer Model Theory, July 6-7, 2014

Inner and Outer Model Theory This workshop will take place at the University of Bristol on July 6th and 7th, 2014. It will focus on the structure of forcing extensions, in particular fine structure-like properties, as well as inner model theory. continue reading…

2014 Winter School, Jan 25 – Feb 1, 2014

www.winterschool.eu Hejnice, Czech Republic, 25/Jan/2014 — 1/Feb/2014 Tutorial Speakers: A. Aviles J. Nešetřil D. Raghavan M. Viale The price for the conference is 300 EUR and this covers all expenses including the bus from Prague to Hejnice and back. continue reading…

Peter Holy: L-like Models with Large Cardinals and a Quasi-Lower Bound on the Consistency Strength of PFA

Monday, April 8, 2013, 16.30 Seminar room 1.008, Mathematical Institute, University of Bonn Speaker: Peter Holy (Bristol) Title: L-like Models with Large Cardinals and a Quasi-Lower Bound on the Consistency Strength of PFA continue reading…