Search
Recent seminar announcements
 Andres Caicedo: MRP and squares Michigan Logic Seminar
 Piotr Szewczak: The Scheepers property and products of Menger spaces Wrocław University of Technology
 Peter Holy: A Hierarchy of Ramsey cardinals Bristol Logic Seminar
 Marcin Sabok: Hyperfiniteness of boundary actions of cubulated hyperbolic groups Toronto Set Theory Seminar
 Rick Statman: Backus FP is Turing complete Carnegie Mellon Logic Seminar
 Deirdre Haskell: Using model theory to find upper bounds on VC density Carnegie Mellon Logic Seminar
 Sergio GarciaBalan: On star selection principles Toronto Set Theory Seminar
 Sam Dworetzky: The classification problem for models of Peano Arithmetic Boise Set Theory Seminar
 Monika Seisenberger: Programs from constructive and classical proofs Bristol Logic Seminar
 Philipp Lücke: Sigma_1partition properties Bristol Logic Seminar
Upcoming conferences
 March 20: 2017 North American ASL Meeting: March 2023, 2017
 April 1: MAMLS at VCU, April 12, 2017
 May 5: Noncommutative Geometry and Operator Algebras, Nashville, May 511, 2017
 July 3: 6th European Set Theory Conference, Budapest, July 37, 2017
 July 10: 10th Young Set Theory Workshop, Edinburgh, July 1014, 2017
 August 2: A conference on the occasion of Jensen’s 80th birthday, Münster, Aug 02–Aug 04, 2017
 August 14: Logic Colloquium 2017, August 1420, 2017
 August 20: Frontiers of Selection Principles, Warsaw, Aug 20 – Sep 1, 2017

Talks by venue
 Barcelona Set Theory Seminar (RSS)
 Boise Set Theory Seminar (RSS)
 Bonn Logic Seminar (RSS)
 Bristol Logic Seminar (RSS)
 Carnegie Mellon Logic Seminar (RSS)
 Dartmouth Logic Seminar (RSS)
 Israeli Logic Talks (RSS)
 Michigan Logic Seminar (RSS)
 Morelia Topology and Set Theory Seminar (RSS)
 New York Logic Seminars (RSS)
 NUS logic seminar (RSS)
 Prague Forcing Seminar (RSS)
 Prague Set Theory Seminar (RSS)
 Rutgers Logic Seminar (RSS)
 Toronto Set Theory Seminar (RSS)
 UC Irvine Set Theory Seminar (RSS)
 Wroclaw Set Theory Seminar (RSS)
 Wrocław University of Technology (RSS)
Talks by speaker
A.R.D. Mathias Alan Dow Alekos Kechris Aleksandra Kwiatkowska Alex Usvyatsov Alexei Kolesnikov Andre Nies Andreas Blass Andrés Caicedo Andrew BrookeTaylor Andrew Marks Andrew Toms 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 Boris Zilber Borisa Kuzeljevic Brent Cody Burak Kaya Carlos Di Prisco Carlos MartinezRanero Charles Morgan Chris LambieHanson Christina Brech Clinton Conley Daisuke Ikegami Damian Sobota Dana Bartošová Daniel Rodriguez Daniel Soukup David Aspero David Chodounsky David Fernández Bretón David J. Fernández Bretón David Marker David Milovich Diana Ojeda Diego Alejandro Mejia Dikran Dikranjan Dilip Raghavan Dima Sinapova Dimitrios Vlitas Egbert Thümmel Erez Shochat Erin Carmody Farmer Schlutzenberg François Dorais Frank Stephan Franklin Tall 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 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 Ralf Schindler Randall Holmes Rick Statman Robert Ralowski Robin TuckerDrob Rodrigo R. Dias Roman Kossak Saharon Shelah Sakaé Fuchino Salma Kuhlmann Samuel Coskey Scott Cramer Scott Schneider Sean Cox Sebastien Vasey Sergei Artemov Shehzad Ahmed Sheila Miller Simon Thomas Slawomir Solecki Spencer Breiner Spencer Unger Stefan Geschke Stevo Todorcevic Su Gao Sy David Friedman Szymon Zeberski Teruyuki Yorioka Thilo Weinert Thomas Johnstone 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 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 Victoria Gitman
MAMLS at VCU, April 12, 2017
MAMLS at VCU will be a gathering of set theorists working on large cardinals, inner models, forcing and relative consistency results, sponsored by the NSF and the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University. continue reading…
Posted in MAMLS
Tagged Dima Sinapova, Hugh Woodin, James Cummings, Joel Hamkins, John Krueger, Monroe Eskew, Omer Ben Neria, Victoria Gitman
High and low forcing, San Jose, Jan 11 – 15, 2016
High and low forcing
January 11 to January 15, 2016 at the American Institute of Mathematics, San Jose, California
organized by
Itay Neeman and Dima Sinapova
This workshop, sponsored by AIM and the NSF, is devoted to new methods of forcing, in infinitary combinatorics, and in connection with axioms about the real line. 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
This Week in Logic at CUNY
Computational Logic Seminar
Tuesday, November 12, 2013 2:00 pm Graduate Center, rm. 3209
Speaker: Melvin Fitting Lehman College – CUNY Graduate Center
Title: Realization Semantically
Link: http://nylogic.org/talks/realizationsemantically
This talk continues my previous one from October 22. continue reading…
Posted in Seminars
Tagged Alice Medvedev, Melvin Fitting, Victoria Gitman, Yevgeniy Vasilyev
This Week in Logic at CUNY
Computational Logic Seminar
Tuesday, October 1, 2013 2:00 pm Graduate Center, rm. 3209
Speaker: Antonis Achilleos Graduate Center CUNY
Title: On the Complexity of Multiagent Justification Logic Under Interacting Justifications
Link: http://nylogic.org/talks/onthecomplexityofmultiagentjustificationlogicunderinteractingjustifications
We introduce a family of multiagent justification logics with interactions between the agents’ justifications, by extending and generalizing the twoagent versions of LP introduced by Yavorskaya in 2008. continue reading…
Posted in Seminars
Tagged Antonis Achilleos, David Marker, Hans Schoutens, Roman Kossak, Victoria Gitman
This Week in Logic at CUNY
Computational Logic Seminar
Tuesday, April 30, 2013 2:00 pm rm. 3209, Graduate Center CUNY
Speaker: Melvin Fitting Lehman College, CUNY Graduate Center
Title: Realization Implemented
Justification logics are connected to modal logics via realization theorems. continue reading…
Posted in Seminars
Tagged Henry Towsner, Joel David Hamkins, Melvin Fitting, Victoria Gitman
This Week in Logic at CUNY
NY Philosophical Logic Group
Time: 46pm, Monday, April 22nd
Place: 2nd floor seminar room, Philosophy Department, NYU (5 Washington Place).
Speaker: Geoff Hellman, University of Minnesota
Title: ” On Resolving the SetTheoretic and Semantic Paradoxes”
Abstract: Our main goals are, first, to describe how modal structuralism resolves the settheoretic paradoxes, concentrating on the BuraliForti paradox, and then to note a close connection to recent proposals (due to Cook and Schlenker, independently) for resolving semantic paradoxes, especially the Liar. continue reading…
Posted in Seminars
Tagged Alex Rennet, Erez Shochat, Geoff Hellman, Victoria Gitman, Yoram Moses
This Week in Logic at CUNY
This Week in Logic at CUNY:
Special Event
Staged reading of Daniel Kehlmann’s play “Ghosts in Princeton” about
the life of Kurt Gödel.
Location: Center for Jewish History, Forchheimer Auditorium, 151 W
16th St in Manhattan, 2127446400
Tuesday, May 1st, 6pm, tickets are $10. continue reading…
Posted in Seminars
Tagged Arthur Apter, Daniel Kehlmann, David Marker, Victoria Gitman
Simon Thomas; Victoria Gitman
Rutgers Logic Seminars
Spring 2012
Room 705, Hill Center
Descriptive Set Theory Seminar
Monday April 2nd, 3:204:40 pm
Simon Thomas, Rutgers
Generic ergodicity I
Rutgers Logic Seminar
Monday April 2nd, 5:006:20 pm
Victoria Gitman, CUNY
Indestructibility for Ramsey cardinals continue reading…