Recent and upcoming talks by Maryanthe Malliaris

6th European Set Theory Conference, Budapest, July 3-7, 2017

The 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 – 7, 2017. continue reading…

Appalachian Set Theory workshop: Maryanthe Malliaris, November 5, 2016

The next meeting of the Appalachian Set Theory workshop series will take place at CMU and may be of interest to the Pittsburgh logic community. Maryanthe Malliaris will lead a workshop on “Cofinality spectrum problems: p, t, and model theory”. continue reading…

Forcing and its applications: Retrospective Workshop, March 29 – April 2, 2015

The meeting will take place at the Field Institute, 222 College Street, Toronto. About In the years 1963-1964, Paul Cohen developed the method of forcing in order to settle Cantor’s Continuum Problem.  continue reading…

Simplicity: Ideals of Practice in Mathematics & the Arts, April 3–5, 2013

Simplicity: Ideals of Practice in Mathematics & the Arts, The Graduate Center, City University of New York, April 3–5, 2013 Lectures by and conversations among twenty-five leading figures from mathematics, art, art history, philosophy, and architecture together with screenings of artist’s films by Andy Goldsworthy (New York premiere), David Hammons, Richard Serra, Andy Warhol, and William Wegman. continue reading…

2013 North American Annual ASL Meeting, May 8 – 11, 2013

2013 ASL North American Annual Meeting Waterloo, Ontario, Canada May 8–May 11, 2013 The invited speakers include: U. Andrews, M. Aschenbrenner, R. Blute, D. Kerr, C. McLarty, D. Sinapova, T. Slaman, M. continue reading…

Logic Colloquium 2013, July 22-27, 2013

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013. Tutorials: » Ould Houcine (Université Lyon) » Luke Ong (University of Oxford) Plenary speakers: » Johan van Benthem (University of Amsterdam) » Mikolaj Bojanczyk (Warsaw University) » Jorg Brendle (Kobe University) » Stephen Lempp (University of Wisconsin-Madison) » Rosalie Iemhoff (Utrecht University) » François Loeser (Université Pierre et Marie Curie) » Maryanthe Malliaris (University of Chicago) » Andrey Morozov (Novosibirski State University) » Asger Tornquist (University of Copenhagen) » Vladimir Voevodsky (Institute for Advanced Study) Special sessions: » Logic and analysis (Organizers: Mauro Di Nasso and Imme van den Berg): – Hannes Diener (University of Siegen) – Bruno Dinis (Universidade Nova de Lisboa) – Isaac Goldbring (University of Illinois at Chicago) – Tom Lindstroem (University of Oslo) » Computability (Organizers: Valentina Harizanov and Félix Costa): – Samson Abramsky (University of Oxford) – Paul Shafer (Université Paris Diderot – Paris 7) – Amilcar Sernadas (Instituto Superior Técnico) – Mariya Soskova (Sofia University) » Model theory (Organizers: Katrin Tent and Mário Edmundo): – Artem Chernikov (The Hebrew University of Jerusalem) – Itay Kaplan (University of Münster) – Tamara Servi (CMAF Universidade de Lisboa) – Margaret Thomas (University of Konstanz) » Logical analysis of mathematical proofs (Organizers: Matthias Baaz and Fernando Ferreira): – Reinhard Kahle (Universidade Nova de Lisboa) – Alexander Kreuzer (Ecole Normale Supérieure de Lyon) – Alexander Leitsch (Vienna University of Technology) – Benno van den Berg (Utrecht University) » Set theory (Organizers: Sakae Fuchino and Boban Velickovic): – David Aspero (University of East Anglia) – Charles Morgan (University College London) – Ben Miller (University of Munster) – Toshimichi Usuba (Kobe University) continue reading…

Workshop on Forcing Axioms and their Applications, October 22-26, 2012

This workshop will take place at the Fields institute, as a part of the 2012 Thematic Program on Forcing and its Applications. Organizing Committee: Jordi Lopez Abad Justin Tatch Moore Stevo Todorcevic Show Schedule Monday, October 22 9:30 Justin Tatch Moore, Cornell University Martin’s Maximum, a tutorial 1 The purpose of these talks will be to survey the consequences of Martin’s Maximum. continue reading…

This Week in Logic at CUNY

Set Theory Seminar Friday, October 12, 2012, 10:00am GC 6417 Speaker: Nam Trang Title: GENERALIZED SOLOVAY MEASURES Abstract: We will introduce some background and recent progress made in solving the following open problem: Determine the exact consistency strength of the theory T = “ZF+DC+omega_1 is supercompact.” It’s known that the upper-bound consistency strength for T is a class of Woodin limits of Woodin cardinals which is (surprisingly) much weaker than ZFC + a supercompact. continue reading…

Maryanthe Malliaris: Regular ultrafilters and first-order theories

We held first seminar on Tuesday, March 20. Speaker: Maryanthe Malliaris (Hebrew University) Title: Regular ultrafilters and first-order theories Abstract: The talk will present some recent results on regular ultrafilters due to Malliaris and Shelah (Autumn 2011), which have emerged from a program of work of the authors on Keisler’s order, and whose proofs make use of model theory. continue reading…