Search
Recent seminar announcements
 Eric Martin: Logic Programming as Classical Inference NUS logic seminar
 Fulgencio Lopez: Trees and Gaps from construction schemes Toronto Set Theory Seminar
 James Cummings: Proper forcing, side conditions and Baumgartner’s problem Carnegie Mellon Logic Seminar
 Dimitris Vlitas: Canonical equivalence relations on the topological Ramsey space FIN_k Toronto Set Theory Seminar
 Alexander Melnikov: Constructive Abelian Groups NUS logic seminar
 Franklin Tall: Definable Versions of Hurewicz’s Conjecture that Menger Spaces are Sigmacompact Toronto Set Theory Seminar
 Wang Wei: Relative Definability of ngeneric NUS logic seminar
 David Fernández Bretón: Gruff ultrafilters in the Random model Michigan Logic Seminar
 Diana Ojeda: Topological partition relations for countable ordinals Toronto Set Theory Seminar
 Dilip Raghavan: Cardinal invariants above the continuum NUS logic seminar
Upcoming conferences
 February 17: Menachem Magidor 70th Birthday Conference, Jerusalem, February 1719 2016
 April 9: Appalachian Set Theory workshop: Itay Neeman, April 9, 2016
 June 13: 9th Young Set Theory Workshop, Copenhagen, June 1317, 2016
 June 20: Novi Sad Conference in Set Theory and General Topology, June 20 – 23, 2016
 July 18: IM PAN conference: Transfinite methods in Banach spaces and algebras of operators, July 1822 2016
 July 25: TOPOSYM, July 25–29, 2016

Talks by venue
 Barcelona Set Theory Seminar (RSS)
 Boise Set Theory Seminar (RSS)
 Bonn Logic Seminar (RSS)
 Carnegie Mellon Logic Seminar (RSS)
 Dartmouth Logic Seminar (RSS)
 David Chodounsky (RSS)
 Israeli Logic Talks (RSS)
 Marcin Sabok (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
Alan Dow Alekos Kechris Aleksandra Kwiatkowska Alessandro Andretta Alexander Kreuzer Alexei Kolesnikov Andreas Blass Andrés Caicedo Andres Forero 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 Bohuslav Balcar Brent Cody Burak Kaya Carlos Di Prisco Carlos MartinezRanero Chris LambieHanson 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 Diana Ojeda Diego Alejandro Mejia Dikran Dikranjan Dilip Raghavan Dima Sinapova Dimitrios Vlitas Dominik Adolf 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 Isaac Goldbring István Juhász Itay Neeman James Cummings Jan Grebík Jan Stary Jan van Mill Janusz Pawlikowski Jay Williams Jean Larson Jindra Zapletal Joan Bagaria Joel David Hamkins John Baldwin John Clemens John Krueger John Steel Jordi LopezAbad Jörg Brendle Jose Iovino Jouko Väänänen Julien Melleray Juliette Kennedy Juris Steprans Justin Moore K. P. Hart Katharina Dupont 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 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 Qi Feng Ralf Schindler Randall Holmes Robert Ralowski Robin TuckerDrob Rodrigo R. Dias Roman Kossak Saharon Shelah Sakaé Fuchino Salma Kuhlmann Samuel Coskey Sandra Uhlenbrock Scott Cramer Scott Schneider Sean Cox Sebastien Vasey Sergei Artemov Shehzad Ahmed 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 Timothy Trujillo Todd Eisworth Todor Tsankov Tomek Bartoszynski Toshimichi Usuba Trevor Wilson Tristan Bice 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
 saf on The Role of the Higher Infinite in Mathematics and Other Disciplines, December 1418 2015
 James Cummings: Proper forcing, side conditions and Baumgartner’s problem  Set Theory Talks on Appalachian Set Theory workshop: Itay Neeman, April 9, 2016
 9th Young Set Theory Workshop, Copenhagen, June 1317, 2016  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
 9th Young Set Theory Workshop, Copenhagen, June 1317, 2016  Set Theory Talks on 8th Young Set Theory Workshop, Jerusalem, October 2530, 2015
 Mohammad on 8th Young Set Theory Workshop, Jerusalem, October 2530, 2015
 saf on The Role of the Higher Infinite in Mathematics and Other Disciplines, December 1418 2015
Seminar organizer’s toolbox
Menachem Magidor (born 1946) is a professor of mathematics at the Einstein Institute of Mathematics who specializes in mathematical logic, in particular set theory.
He received his Ph.D. in 1973 from the Hebrew University.
He served as president of the Hebrew University from 1997 to 2009.
Recent awards: Humboldt Prize.
Recent and upcoming talks by Menachem Magidor
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…
Independence Results in Mathematics and Challenges in Iterated Forcing, Norwich, November 26 2015
Satellite Workshop
2nd November 2015 to 6th November 2015
Held at the University of East Anglia
Norwich, UK
Organisers: David Aspero (University of East Anglia), Joan Bagaria (Universitat de Barcelona), Mirna Dzamonja (University of East Anglia), Benedikt Loewe (Universität Hamburg)
Workshop Theme
Independence Results in Mathematics and Challenges in Iterated Forcing Forcing, and especially iterated forcing, is an extremely fruitful technique for proving that certain statements in mathematics are independent from ZFC, or some other base set theory. continue reading…
Posted in Conferences
Tagged Arthur Apter, Boban Velickovic, Borisa Kuzeljevic, Daniel Soukup, Grzegorz Plebanek, Heike Mildenberger, Itay Neeman, Justin Moore, Liuzhen Wu, Marton Elekes, Matteo Viale, Menachem Kojman, Menachem Magidor, Omer Ben Neria, Piotr BorodulinNadzieja, Spencer Unger, Teruyuki Yorioka, Todd Eisworth
8th Young Set Theory Workshop, Jerusalem, October 2530, 2015
The 8th Young Set Theory Workshop will take place October 2530 2015, at the Israel Institute of Advanced Studies in Jerusalem. (see poster, booklet, and Group picture)
The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. continue reading…
2nd Arctic Set Theory Workshop, February 1217, 2015
This international workshop on the latest developments in set theory will be held in the Kilpisjärvi Research Center of the University of Helsinki, during February 1217, 2015. A group of leading mathematical logicians, together with younger researchers, from Finland, USA, Israel, UK, Germany, France, Canada, Italy, Greece, China, and Austria will meet in this unique location to make progress on the hardest questions of set theory today. continue reading…
Posted in Conferences
Tagged Andrés Villaveces, Bill Mitchell, Carlos Di Prisco, Chris LeSeur, David Aspero, Dima Sinapova, Gianluca Paolini, Grigor Sargsyan, Hugh Woodin, Jean Larson, Joan Bagaria, John Steel, Jouko Väänänen, Juliette Kennedy, Kerkko Luosto, Laura Fontanella, Matteo Viale, Menachem Kojman, Menachem Magidor, Miguel Moreno, Moti Gitik, Natasha Dobrinen, Philip Welch, Thilo Weinert
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…
Meeting in honor of Hugh Woodin’s 60th birthday, March 2729, 2015
Conference in Honor of Hugh Woodin’s 60th Birthday
The meeting in honor of Hugh Woodin’s 60th birthday will be held on March 2729, 2015, at Harvard University.
Conference Schedule
Friday, March 27, 2015. continue reading…
Double session at Fields Institute (Menachem Magidor and Vera Fischer)
Place: Fields Institute, Room 210
Date: 31October 2014
Time: 12:3015:00
Speaker 1 (from 12:30 to 13:30): Vera Fischer
Title: Definable Maximal Cofinitary Groups and Large Continuum
Abstract: A cofinitary group is a subgroup of the group of all permutations of the natural numbers, all nonidentity elements of which have only finitely many fixed points. continue reading…
Münster conference on fine structure and inner model theory, July 2024, 2015
3rd Münster conference on
inner model theory, the core model induction, and hod mice
Institut für Mathematische Logik, WWU Münster,
July 20 — 31, 2015
Organizers: Ralf Schindler (Münster), John Steel (Berkeley)
This conference will be a sequel to the 1st Conference on the core model induction and hod mice that was held in Münster (FRB), July 19 — August 06, 2010, to the 2nd Conference on the core model induction and hod mice that was held in Münster (FRG), August 08 — 19, 2011, as well as to the AIM Workshop on Descriptive Inner Model Theory, held in Palo Alto (CA), June 02 — 06, 2014, and to the Conference on Descriptive Inner Model Theory, held in Berkeley (CA) June 09 — 13, 2014. continue reading…
Menachem Magidor: Inner models constructed from generalized logics
Friday Set Theory Seminar (HUJI)
We shall meet next Friday (August 15th) in the Hebrew University math
department building, at 10 am.
Speaker: Menachem Magidor (HUJI)
Title: Inner models constructed from generalized logics
Abstract: The constructible universe L is constructed in stages where
one uses first order definablity to define the successor stage. continue reading…