Recent and upcoming talks by John Krueger

1st Maxico-USA Logic Fest, Mexico City, January 10 – 13, 2018

The First Mexico-USA Logic Fest brings together logicians of the two countries, Mexico and the United States, and worldwide friends in order to join forces in research by exchanging ideas, creating graduate student exchange networks and otherwise collaborating. continue reading…

MFO workshop in Set Theory, Oberwolfach, February 2017

Set Theory (Workshop ID: 1707) 12 Feb – 18 Feb 2017 Organisers Ilijas Farah, Toronto Sy-David Friedman, Wien Ralf Schindler, Münster Hugh Woodin, Cambridge MA continue reading…

MAMLS at VCU, April 1-2, 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…

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…

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…

BLAST 2015, 5-9 January 2015

BLAST is a conference focusing on Boolean Algebras Lattices, Algebraic and Quantum logic Universal Algebra Set Theory Set-theoretic and Point-free Topology BLAST circulates between different universities. Earlier BLAST meetings were held at the University of Denver (2008), New Mexico State University (2009), the University of Colorado at Boulder (2010), the University of Kansas (2011), and Chapman University (2013). continue reading…

MFO workshop in Set Theory, Oberwolfach, January 2014

These are title of the talks from the 2014 Oberwolfach meeting. Below, are some of the slides. Brendle – Rothberger gaps in analytic quotients Conley – Measurable analogs of Brooks’s theorem for graph colorings Cramer – Inverse limit reflection and generalized descriptive set theory Cummings – Combinatorics at successors of singulars Dobrinen – Progress in topological Ramsey space theory Dzamonja – Combinatorial versions of SCH Fischer – Template iterations and maximal cofinitary groups Gitik – Short extenders forcings and collapses Golshani – The effects of adding a real to models of set theory Koepke – An Easton-like Theorem for ZF Set Theory Krueger – Forcing square with finite conditions Lupini – Borel complexity and automorphisms of $C^*$-algebras Melleray – Full groups of minimal homeomorphisms and descriptive set theory Mildenberger – Specialising Aronszajn trees in a gentle way Moore – Completely proper forcing and the Continuum Hypothesis Motto Ros – On the descriptive set-theoretical complexity of the embeddability relation on uncountable models Neeman – Higher analogues of PFA Rinot – Complicated Colorings Sabok – Automatic continuity for isometry groups Sargsyan – Core Model Induction and Hod Mice Schindler – Does $\Pi^1_1$  determinacy yield 0#? 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…

Workshop on Iterated Forcing and Large Cardinals, November 12-16, 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:00-9:50 Tadatoshi Miyamoto (Nanzan University) A study of iterating semiproper forcing 10:00-10:50 David Aspero (Technische Universitaet Wien) 10:50-11:10 Coffee Break 11:10-12:00 Ralf Schindler (WWU Münster) An axiom LUNCH 15:00-15:50 Matteo Viale (University of Torino) Absoluteness of theory of 16:10-17:00 John Krueger (University of North Texas) Forcing with Models as Side Conditions Tuesday November 13 9:00-9:50 Tadatoshi Miyamoto (Nanzan University) A study of iterating semiproper forcing 10:00-10:50 Itay Neeman (University of California, Los Angeles) Higher analogs of the proper forcing axiom 10:50-11:10 Coffee Break 11:20-12:10 Moti Gitik (Tel-Aviv University) A weak generalization of SPFA to higher cardinals. continue reading…

2011 CMS Winter Meeting, December 10 – 12, 2011

Saturday December 10 10:00 – 10:25 Slawomir Solecki 10:30 – 10:55 Aleksandra Kwiatkowska 11:00 – 11:25 Samuel Coskey 14:00 – 14:25 Martin Zeman 14:30 – 14:55 Grigor Sargsyan 16:00 – 16:25 James Cummings 16:30 – 16:55 Dima Sinapova 17:00 – 17:25 John Krueger Sunday December 11 8:30 – 8:55 Claude Laflamme 9:00 – 9:25 Assaf Rinot 9:30 – 9:55 Juris Steprans 14:00 – 14:25 Asger Tornquist 16:00 – 16:25 Itay Neeman 16:30 – 16:55 Sean Cox 17:00 – 17:25 Justin Moore Additional two events for Friday, December 9th: ** 9am-12pm: CMS meeting mini course Bahen, room 1240 Speaker: Dima Sinapova (Irvine) Tittle: Large cardinals and Prikry type forcing (outline attached) ** 1:30pm-3pm: Toronto set theory seminar Fields, room 210 Speaker: Hugh Woodin (Berkeley) Title: The HOD Conjecture Sinapova minicourse outline.pdf continue reading…