Search
Recent seminar announcements
 Generalised Baire Spaces, Amsterdam, August 2224, 2018 saf
 Bruno Braga: On the rigidity of uniform Roe algebras of coarse spaces Toronto Set Theory Seminar
 Adam Bartoš: Compactifiable classes and Borel complexity up to the equivalence Prague Set Theory Seminar
 Jacek Tryba: Homogeneity of ideals Wrocław University of Technology
 Rick Statman: Completeness of BCD for an operational semantics; forcing for proof theorists II Carnegie Mellon Logic Seminar
 Jan Grebik: Applications of topological dynamics to graphons Prague Set Theory Seminar
 Frank Tall: Coanalytic spaces, Kanalytic spaces, and definable versions of Menger’s conjecture Toronto Set Theory Seminar
 Sibylle Schwarz: Manyvalued logic, Automata and Languages NUS logic seminar
 James Cummings: Some strong chain conditions Carnegie Mellon Logic Seminar
 Chris Kapulkin: Homotopy Type Theory and internal languages of higher categories Michigan Logic Seminar
Upcoming conferences
 April 22: Set Theory, Model Theory and Applications (In memory of Mati Rubin), Eilat, April 2226, 2018
 May 16: 2017 North American ASL Meeting, Illinois, March 2023, 2017
 June 25: 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018
 July 2: Novi Sad Conference in Set Theory and General Topology, Novi Sad, July 25, 2018
 July 16: First Girona inner model theory conference, Girona, July 1627 2018
 July 23: Logic Colloquium 2018, Udine, July 23 – 28, 2018
 August 6: BLAST 2018, Denver, August 610, 2018
 August 22: Generalised Baire Spaces, Amsterdam, August 2224, 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 Chris LambieHanson Christian Rosendal Christina Brech Clinton Conley Daisuke Ikegami Dana Bartošová Daniel Rodriguez Daniel Soukup David Aspero David Chodounsky David J. Fernández Bretón David Marker David Milovich David Schrittesser Diana Ojeda Diego Alejandro Mejia Dikran Dikranjan Dilip Raghavan Dima Sinapova Dimitrios Vlitas Egbert Thümmel Erez Shochat Erin Carmody Frank Stephan Franklin Tall 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 Stary Jan van Mill Jay Williams Jean Larson Jindra Zapletal 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 Liljana Babinkostova Lionel Nguyen Van The 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 Mati Rubin Matteo Viale Matthew D. Foreman Melvin Fitting Menachem Kojman Menachem Magidor Merlin Carl Michael Hrusak Michal Doucha Miguel Angel Mota Miha Habic Mike Pawliuk Mikhail Tkachenko Miodrag Sokic Mirna Džamonja Miyamoto Tadatoshi Mohammad Golshani Monroe Eskew Moti Gitik Nadav Meir Nam Trang Natasha Dobrinen Norman Perlmutter Omer Ben Neria Omer Mermelstein Osvaldo Guzmán González Paul Larson Paul McKenney Peng Yinhe Peter Burton Peter Holy Peter Koellner Peter Koepke Peter Komjath Peter Krautzberger Petr Simon Philip Welch Philipp Lücke Philipp Schlicht Piotr BorodulinNadzieja Piotr Koszmider 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 Ted Slaman 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 KhomskiiCategories
Recent discussions
 Thematic Semester on Descriptive Set Theory and Polish groups, More info  Set Theory Talks on 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018
 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018  Set Theory Talks on 8th Young Set Theory Workshop, Jerusalem, October 2530, 2015
 11th Young Set Theory Workshop, Lausanne, June 25–19, 2018  Set Theory Talks on 9th Young Set Theory Workshop, Copenhagen, June 1317, 2016
 11th Young Set Theory Workshop, Lausanne, June 25–19, 2018  Set Theory Talks on 10th Young Set Theory Workshop, Edinburgh, July 10–14, 2017
 10th Young Set Theory Workshop, Edinburgh, July 1014, 2017  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
 Thematic Semester on Descriptive Set Theory and Polish groups, More info  Set Theory Talks on 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018
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, Arthur Fischer, 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, 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…