Search
Recent seminar announcements
 Stefan Hoffelner: NS saturated and Δ_1definable Prague Set Theory Seminar
 Andy Zucker: A direct solution to the Generic Point Problem Carnegie Mellon Logic Seminar
 Juris Steprans: Groups with sub exponential growth and actions on the integers with unique invariant means in the Cohen model Toronto Set Theory Seminar
 Jose Iovino: Metastability and model theory Toronto Set Theory Seminar
 Christopher Eagle: Baire Category and the Omitting Types Theorem Toronto Set Theory Seminar
 Dorottya Sziráki: Open colorings on generalized Baire spaces Budapest Logic Seminar
 Yann Pequignot: Sigma^1_2 sets and countable Borel chromatic numbers Logic Seminar in Turin
 Dániel T. Soukup: Uncountable strongly surjective linear orders Budapest Logic Seminar
 Jindra Zapletal: Quotient forcings defined from group actions Prague Set Theory Seminar
 Saeed Ghasemi: Scattered C*algebras Toronto Set Theory Seminar
Upcoming conferences
 September 3: Set Theoretic Methods in Topology and Analysis, Będlewo, September 39, 2017
 September 7: Set theoretic & Topological methods in Model Theory, Tezpur, September 7–12, 2017
 September 8: Workshop on Computability Theory and Foundations of Mathematics, Singapore, September 812, 2017
 September 15: Simon Thomas: the first 60 years, Rutgers, September 1517, 2017
 November 20: Ultrafilters, Ramsey Theory and Dynamics, Villeurbanne, November 2024, 2017
 January 27: Winter School, Jan 27 – Feb 3, 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 Alex Usvyatsov Alexei Kolesnikov Andre Nies Andreas Blass Andrés Caicedo Andrew BrookeTaylor Andrew Marks Andy Zucker Antonio Avilés Anush Tserunyan Ari Brodsky Arnie Miller Arthur Apter Asaf Karagila Asger Tornquist Ashutosh Kumar Assaf Hasson Assaf Rinot Barnabas Farkas Benjamin Miller Bill Chen Bill Mitchell Boban Velickovic Brent Cody Burak Kaya Carlos Di Prisco Carlos MartinezRanero Charles Morgan Chris Eagle Chris LambieHanson 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 Farmer Schlutzenberg 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 Mike Pawliuk 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 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 Robert Ralowski Robin TuckerDrob Rodrigo R. Dias Roman Kossak Saharon Shelah Sakaé Fuchino Samuel Coskey Sandra Uhlenbrock Scott Cramer Scott Schneider Sean Cox Sebastien Vasey Sergei Artemov Shehzad Ahmed Sheila Miller 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 Xianghui Shi Yair Hayut Yizheng Zhu Yurii KhomskiiCategories
Recent discussions
 10th Young Set Theory Workshop, Edinburgh, July 1014, 2017  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
 10th Young Set Theory Workshop, Edinburgh, July 1014, 2017  Set Theory Talks on 9th Young Set Theory Workshop, Copenhagen, June 1317, 2016
 10th Young Set Theory Workshop, Edinburgh, July 1014, 2017  Set Theory Talks on 8th Young Set Theory Workshop, Jerusalem, October 2530, 2015
 1st Irvine Conference on Descriptive Inner Model Theory and HOD Mice, July 1829 2016  Set Theory Talks on Inner Model Theory events in California, June, 2014
 saf on Assaf Rinot: The strength of the generalized Souslin hypothesis
 10th Young Set Theory Workshop, Edinburgh, July 1014, 2017  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
Seminar organizer’s toolbox
Recent and upcoming talks by Randall Holmes
Randall Holmes: Constructing proofs with a dependent type checker
Tuesday, October 25 from 3 to 4pm
Room: MB 124
Speaker: Randall Holmes (BSU)
Title: Constructing proofs with a dependent type checker
Abstract: I’ll discuss my latest theorem proving work, and present examples. continue reading…
Randall Holmes: Consistency of New Foundations
Wednesday, December 9 from 3 to 4pm
Room: MP 207
Speaker: Randall Holmes (BSU)
Title: Consistency of New Foundations
Abstract: This will be the first of three or four talks which will give an account of my consistency proof for Quine’s system of set theory New Foundations (proposed by W. continue reading…
Randall Holmes: Preliminaries for Proving the Consistency of NF
Wednesday, February 11 from 3 to 4pm
Room: Math 124
Speaker: Randall Holmes (BSU)
Title: Preliminaries for Proving the Consistency of NF
Abstract: We will discuss some preliminary machinery intended for use in a consistency proof of Quine’s set theory New Foundations. continue reading…
Randall Holmes: On hereditarily small sets
Tuesday, January 27 from 2 to 3pm
Room: Mathematics 136
Speaker: Randall Holmes (BSU)
Title: On hereditarily small sets
Abstract: Jech showed in 1982 that $H(\omega_1)$, the collection of hereditarily countable sets, is a set in ZF. continue reading…
Randal Holmes: Urysohn space, spacefilling curves, and isometric embeddings
Boise Set Theory Seminar
Thursday, March 21 from 1:30 to 2:30pm
Room B309
Title: Of the Urysohn Space $U$, SpaceFilling Curves, and Isometric Embeddings of $U$ in $C[0,1]$
Speaker: M. Randall Holmes
Dr Coskey recently discussed the universal separable metric space of Urysohn. continue reading…
Randal Holmes: An introduction to Quine’s New Foundations
Date: October 22
Time: 10:30 a.m. – 11:45 a.m.
Room: MP 210
Speaker: Randall Holmes
Title: An Introduction to Quine’s New Foundations
I will present definitions of the theories TST (the simple theory of types) and NF (New Foundations, a set theory proposed by W. continue reading…