Search
Recent seminar announcements
 Frank Stephan: Computational aspects of the hyperimmunefree degrees NUS logic seminar
 Aleksandra Kwiatkowska: Universal minimal flows of the homeomorphism groups of Ważewski dendrites Prague Set Theory Seminar
 Jan Grebík: Borel chromatic numbers Prague Set Theory Seminar
 Yinhe Peng: Basis of Countryman lines Toronto Set Theory Seminar
 Assaf Shani: Borel equivalence relations and symmetric models Israeli Logic Talks
 Jindřich Zapletal: Geometric forcing Prague Set Theory Seminar
 Hossein Lamei Ramandi: A minimal Kurepa tree with respect to club embeddings Toronto Set Theory Seminar
 Wednesday seminar Prague Set Theory Seminar
 Ilya Shapirovsky: Locally finite varieties of modal algebras Toronto Set Theory Seminar
 Mirna Džamonja: Higher order versions of the logic of chains close Prague Set Theory Seminar
Upcoming conferences
 September 10: Set theory today, Vienna, September 1014, 2018
 September 18: Takeuti Memorial Symposium, Kobe, September 18 – 20, 2018

Talks by venue
 Barcelona Set Theory Seminar (RSS)
 Boise Set Theory Seminar (RSS)
 Bonn Logic Seminar (RSS)
 Bristol Logic Seminar (RSS)
 Budapest Logic Seminar (RSS)
 Carnegie Mellon Logic Seminar (RSS)
 Dartmouth Logic Seminar (RSS)
 Israeli Logic Talks (RSS)
 Kurt Godel Research Center (RSS)
 Logic Seminar in Turin (RSS)
 Michigan Logic Seminar (RSS)
 Morelia Topology and Set Theory Seminar (RSS)
 New York Logic Seminars (RSS)
 NUS logic seminar (RSS)
 Prague Set Theory Seminar (RSS)
 Rutgers Logic Seminar (RSS)
 Toronto Set Theory Seminar (RSS)
 UC Irvine Set Theory Seminar (RSS)
 Wrocław University of Technology (RSS)
Talks by speaker
Alan Dow Alekos Kechris Aleksander Cieślak Aleksandra Kwiatkowska Alessandro Vignati Alexei Kolesnikov Andreas Blass Andrés Caicedo Andrés Villaveces Andrew BrookeTaylor Andrew Marks Andy Zucker Antonio Avilés Anush Tserunyan Ari Brodsky Arthur Apter Asaf Karagila Asger Tornquist Ashutosh Kumar Assaf Hasson Assaf Rinot Barnabas Farkas Benjamin Miller Bill Chen Bill Mitchell Boban Velickovic Borisa Kuzeljevic Brent Cody Burak Kaya Carlos Di Prisco Carlos MartinezRanero Charles Morgan Chris LambieHanson Christian Rosendal Christina Brech Clinton Conley Daisuke Ikegami Damian Sobota Dana Bartošová Daniel Rodriguez Daniel Soukup David Aspero David Chodounsky David J. Fernández Bretón David Marker David Milovich David Schrittesser Diana Carolina Montoya Diana Ojeda Diego Alejandro Mejia Dikran Dikranjan Dilip Raghavan Dima Sinapova Dimitrios Vlitas Egbert Thümmel Erez Shochat Erin Carmody François Dorais Frank Stephan Franklin Tall Garrett Ervin Giorgio Laguzzi Gregory Cherlin Grigor Sargsyan Grzegorz Plebanek Gunter Fuchs Heike Mildenberger Hiroshi Sakai Hugh Woodin Ilijas Farah Ioannis Souldatos Isaac Goldbring István Juhász Itay Neeman James Cummings Jan Grebík Jan van Mill Jay Williams Jean Larson Jindra Zapletal Jing Zhang Joan Bagaria Joel David Hamkins John Baldwin John Clemens John Krueger John Steel Jonathan Verner Jordi LopezAbad Jörg Brendle Jose Iovino Jouko Väänänen Julien Melleray Juliette Kennedy Juris Steprans Justin Moore K. P. Hart Konstantinos Tyros Lajos Soukup Laura Fontanella Liuzhen Wu Luca Motto Ros Luz María García Ávila Lynn Scow Lyubomyr Zdomskyy Marcin Michalski Marcin Sabok Marion Scheepers Martin Goldstern Martin Zeman Martino Lupini Maryanthe Malliaris Masaru Kada Matteo Viale Matthew D. Foreman Melvin Fitting Menachem Kojman Menachem Magidor Merlin Carl Michael Hrusak Michal Doucha Miguel Angel Mota Mikhail Tkachenko Miodrag Sokic Mirna Džamonja Miyamoto Tadatoshi Monroe Eskew Moti Gitik Nadav Meir Nam Trang Natasha Dobrinen Norman Perlmutter Omer Ben Neria Omer Mermelstein Osvaldo Guzman Osvaldo Guzmán González Paul Larson Paul McKenney Peng Yinhe Peter Holy Peter Koellner Peter Koepke Peter Komjath Peter Krautzberger Petr Simon Philip Welch Philipp Lücke Philipp Schlicht Piotr BorodulinNadzieja Piotr Koszmider Radek Honzik Ralf Schindler Randall Holmes Rick Statman Robert Ralowski Robin TuckerDrob Rodrigo R. Dias Roman Kossak Saharon Shelah Sakaé Fuchino Salma Kuhlmann Samuel Coskey Sandra Müller Šárka Stejskalová Scott Cramer Scott Schneider Sean Cox Sebastien Vasey Sergei Artemov Shehzad Ahmed Simon Thomas Slawomir Solecki Spencer Unger Stefan Geschke Stevo Todorcevic Su Gao Sy David Friedman Szymon Zeberski Taras Banakh Teruyuki Yorioka Thilo Weinert Timothy Trujillo Todd Eisworth Todor Tsankov Tomek Bartoszynski Toshimichi Usuba Trevor Wilson Uri Abraham Vera Fischer Victor Torres Perez Victoria Gitman Vincenzo Dimonte Wieslaw Kubis Will Boney Wojciech Stadnicki Wolfgang Wohofsky Yair Hayut Yizheng Zhu Yurii Khomskii Zoltán VidnyánszkyCategories
Recent discussions
 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
 GrothenDitQue: on Andrea Vaccaro: Embedding C*algebras into the Calkin algebra
 saf on Takeuti Memorial Symposium, Kobe, September 18 – 20, 2018
 saf on Set Theory, Model Theory and Applications (In memory of Mati Rubin), Eilat, April 2226, 2018
 GrothenDitQue: on Vincenzo Dimonte: The sensitive issue of iterability
 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
Seminar organizer’s toolbox
Recent and upcoming talks by Peter Holy
Generalised Baire Spaces, Amsterdam, August 2224, 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 wellknown and wellstudied topological spaces such as the real numbers, Cantor space, and Baire space. continue reading…
Posted in Conferences, Seminars
Tagged Andreas Blass, Andrew BrookeTaylor, Daisuke Ikegami, David Aspero, David Schrittesser, Diana Carolina Montoya, Dima Sinapova, Dorottya Sziráki, Filippo Calderoni, Giorgio Laguzzi, Jouko Väänänen, Liuzhen Wu, Marlene Koelbing, Peter Holy, Philipp Schlicht, Radek Honzik, Sandra Müller, Šárka Stejskalová, Tapani Hyttinen, Thomas Baumhauer, Vadim Kulikov, Vera Fischer, Vincenzo Dimonte, Wolfgang Wohofsky, Yurii Khomskii
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 Ramseylike cardinals. 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…
Posted in Conferences, ESTC
Tagged Adam Kwela, Akihiro Kanamori, Asger Tornquist, Carlos Di Prisco, Dima Sinapova, Gunter Fuchs, James Cummings, Lorenz Halbeisen, Lyubomyr Zdomskyy, Martin Goldstern, Miguel Angel Mota, Natasha Dobrinen, Peter Holy, Peter Koellner, Peter Koepke, Philipp Schlicht, Victoria Gitman, Yizheng Zhu
Logic Colloquium 2015, August 38, 2015
The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 38 August 2015.
Logic Colloquium 2015 is colocated 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 67, 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 structurelike properties, as well as inner model theory. continue reading…
Peter Holy: Llike Models with Large Cardinals and a QuasiLower 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: Llike Models with Large Cardinals and a QuasiLower Bound on the Consistency Strength of PFA continue reading…