Search
Recent seminar announcements
 Frank Stephan: Computational aspects of the hyperimmunefree degrees NUS logic seminar
 Aleksandra Kwiatkowska: Universal minimal flows of the homeomorphism groups of Ważewski dendrites Prague Set Theory Seminar
 Jan Grebík: Borel chromatic numbers Prague Set Theory Seminar
 Yinhe Peng: Basis of Countryman lines Toronto Set Theory Seminar
 Assaf Shani: Borel equivalence relations and symmetric models Israeli Logic Talks
 Jindřich Zapletal: Geometric forcing Prague Set Theory Seminar
 Hossein Lamei Ramandi: A minimal Kurepa tree with respect to club embeddings Toronto Set Theory Seminar
 Wednesday seminar Prague Set Theory Seminar
 Ilya Shapirovsky: Locally finite varieties of modal algebras Toronto Set Theory Seminar
 Mirna Džamonja: Higher order versions of the logic of chains close Prague Set Theory Seminar
Upcoming conferences
 August 22: Generalised Baire Spaces, Amsterdam, August 2224, 2018
 August 23: SetTheoretic Topology and Topological Algebra
 September 10: Set theory today, Vienna, September 1014, 2018
 September 18: Takeuti Memorial Symposium, Kobe, September 18 – 20, 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 Charles Morgan Chris LambieHanson Christian Rosendal 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 David Schrittesser Diana Carolina Montoya Diana Ojeda Diego Alejandro Mejia Dikran Dikranjan Dilip Raghavan Dima Sinapova Egbert Thümmel Erez Shochat Erin Carmody François Dorais Frank Stephan Franklin Tall Garrett Ervin 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 van Mill Jay Williams Jean Larson Jindra Zapletal Jing Zhang 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 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 Matteo Viale Matthew D. Foreman Melvin Fitting Menachem Kojman Menachem Magidor Merlin Carl Michael Hrusak Michal Doucha Miguel Angel Mota Miha Habic 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 Holy Peter Koellner Peter Koepke Peter Komjath Peter Krautzberger Petr Simon Philip Welch Philipp Lücke Philipp Schlicht Piotr BorodulinNadzieja Piotr Koszmider Radek Honzik Ralf Schindler Randall Holmes Rick Statman Robert Ralowski Robin TuckerDrob Rodrigo R. Dias Roman Kossak Saharon Shelah Sakaé Fuchino Salma Kuhlmann Samuel Coskey Šá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 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 Khomskii Zoltán VidnyánszkyCategories
Recent discussions
 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
 GrothenDitQue: on Andrea Vaccaro: Embedding C*algebras into the Calkin algebra
 saf on Takeuti Memorial Symposium, Kobe, September 18 – 20, 2018
 saf on Set Theory, Model Theory and Applications (In memory of Mati Rubin), Eilat, April 2226, 2018
 GrothenDitQue: on Vincenzo Dimonte: The sensitive issue of iterability
 11th Young Set Theory Workshop, Lausanne, June 25–29, 2018  Set Theory Talks on 6th Young Set Theory Workshop, June 1014, 2013
Seminar organizer’s toolbox
Matteo Viale works in Torino University. His field of specialization is set theory.
His current researches focus on forcing axioms, currently one of the main topics of this field. These axioms are strong combinatorial principles which settle almost all classical undecidable problems of set theory. They also have some unexpected applications in other fields of mathematics.
A question that drives his current interests is to try to understand why this is the case.
Previously he centered his researches on the singular cardinal combinatorics in models of strong forcing axioms.
He completed his doctoral studies in Paris in 2006 under the direction of Prof. Velickovic. Subsequently he was offered a three years postdoc position in Vienna University, which he held in 2007 and 2008.
Since 2008 he works as a tenure track researcher in mathematical logic in Torino university.
Recent and upcoming talks by Matteo Viale
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
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…
Set Theory Workshop in Freiburg, June 10 – 13, 2014
Set Theory Workshop in Freiburg
at FRIAS and the Mathematical Institute of the AlbertLudwigsUniversität
June 10 – 13, 2014
About recent topics in set theory
Speakers include
Alessandro Andretta, Turin
Andreas Blass, Ann Arbor
Natasha Dobrinen, Denver
Mirna Džamonja, Norwich
Vera Fischer, Vienna
SyDavid Friedman, Vienna
Martin Goldstern, Vienna
Menachem Kojman, Beer Sheva
Péter Komjáth, Budapest
Giorgio Laguzzi, Hamburg
Adrian Mathias, La Réunion
Menachem Magidor, Jerusalem
Janusz Pawlikowski, Wrocław
Lajos Soukup, Budapest
Stevo Todorčević, Paris and Toronto
Boban Veličković, Paris
Matteo Viale, Turin
Philip Welch, Bristol
Lyubomyr Zdomskyy, Vienna
Organisers: Heike Mildenberger, Freiburg Luca Motto Ros, Freiburg continue reading…
Posted in Conferences
Tagged A.R.D. Mathias, Alessandro Andretta, Andreas Blass, Boban Velickovic, Giorgio Laguzzi, Janusz Pawlikowski, Lajos Soukup, Lyubomyr Zdomskyy, Martin Goldstern, Matteo Viale, Menachem Kojman, Menachem Magidor, Mirna Džamonja, Natasha Dobrinen, Peter Komjath, Philip Welch, Stevo Todorcevic, Sy David Friedman, Vera Fischer
16th Latin American Symposium on Mathematical Logic, July 28 – August 1, 2014
XVI SLALM (Latin American Symposium in Mathematical Logic)
Plenary Speakers
Boris Zilber (University of Oxford, England)
Stevo Todorcievic (University of Toronto, Canada)
Lev Beklemishev (Steklov Mathematical Institute, Moscow, Russia)
Verónica Becher (University of Buenos Aires, Argentina)
Oswaldo Chateubriand (Pontificia Universidade Católica de Rio de Janeiro, Brasil)
Peter Jipsen (Chapman University, USA)
Tutorials
Set Theory: Menachem Magidor (Hebrew University of Jerusalem, Israel)
Computability Theory: Antonio Montalbán (University of California, Berkeley, USA)
Model Theory: Kobi Peterzil (Haifa University, Israel)
Non Classical Logics. 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…
Posted in ASL Meetings, Conferences
Tagged Alex Rennet, Anush Tserunyan, Chris Eagle, David Kerr, Dilip Raghavan, Dima Sinapova, Isaac Goldbring, John Krueger, Konstantinos Beros, Laura Fontanella, Marcin Sabok, Martino Lupini, Maryanthe Malliaris, Matteo Viale, Miguel Angel Mota, Natasha Dobrinen, Sean Cox, Sy David Friedman, Tristan Bice, Will Boney
Workshop on Iterated Forcing and Large Cardinals, November 1216, 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:
Michal Hrusak
Saharon Shelah
W. Hugh Woodin
Show Schedule
Monday November 12
9:009:50
Tadatoshi Miyamoto (Nanzan University)
A study of iterating semiproper forcing
10:0010:50
David Aspero (Technische Universitaet Wien)
10:5011:10
Coffee Break
11:1012:00
Ralf Schindler (WWU Münster)
An axiom
LUNCH
15:0015:50
Matteo Viale (University of Torino)
Absoluteness of theory of
16:1017:00
John Krueger (University of North Texas)
Forcing with Models as Side Conditions
Tuesday November 13
9:009:50
Tadatoshi Miyamoto (Nanzan University)
A study of iterating semiproper forcing
10:0010:50
Itay Neeman (University of California, Los Angeles)
Higher analogs of the proper forcing axiom
10:5011:10
Coffee Break
11:2012:10
Moti Gitik (TelAviv University)
A weak generalization of SPFA to higher cardinals. continue reading…