Recent and upcoming talks by Peter Koepke

Menachem Magidor 70th Birthday Conference, Jerusalem, February 17-19 2016

Menachem Magidor 70th Birthday Conference The Hebrew University of Jerusalem, February 17-19 2016 Reigstration is now open! Invited speakers: Artur Apter (CUNY) Joan Bagaria (ICREA & UB) James Cummings (CMU) Mirna Dzamonja (UEA) Ilijas Farah (York) Matthew Foreman (UCI) Moti Gitik (TAU) Juliette Kennedy (Helsinki) Peter Koepke (Bonn) Jean Larson (UFL) Bill Mitchell (UFL) Ralf Schindler (Münster) Saharon Shelah (HUJI) Dima Sinapova (UIC) John Steel (Berkeley) Jouko Väänänen (Helsinki & ILLC) Boban Velickovic (Paris 7) Matteo Viale (Torino) Philip Welch (Bristol) Hugh Woodin (Harvard) Organizers: Laura Fontanella Itay Kaplan Asaf Karagila Assaf Rinot continue reading…

Arthur Apter & Moti Gitik’s 60th birthday meeting, CMU, May 30-31 2015

There will be a meeting at CMU May 30-31 2015 in honour of Arthur Apter and Moti  Gitik. Speakers: Omer Ben-Neria Joel Hamkins Peter Koepke Menachem Magidor (canceled) Bill Mitchell Assaf Rinot Ralf-Dieter Schindler Dima Sinapova Hugh Woodin Timetable Saturday 30 May 8:45-9:30: Refreshments (Wean Hall 6220) 9:30-10:15: Assaf Rinot, “Putting a diamond inside the square”. 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…

Conference celebrating Philip Welch’s 60th Birthday, March 22 – 23, 2014

Conference celebrating Philip Welch’s 60th Birthday 22 March 2014 to 23 March 2014 Organisers: Kentaro Fujimoto, Leon Horsten Description A two day conference will be held to celebrate the work of Philip Welch on his 60th birthday. continue reading…

Set Theory events in Poland, September 15-19, 2014

Thematic session in set theory at the dmv-ptm joint meeting, Workshop in set theory. Będlewo, Poznań 14-17-20.09.2014. Arrival in Będlewo – the evening of Sunday, 14.09. Workshop activities – Monday, Tuesday, 15,16.09. 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…

Peter Koepke: Namba-like singularizations of successor cardinals

Monday, May 13, 2013, 16.30 Seminar room 1.008, Mathematical Institute, University of Bonn Speaker: Peter Koepke (Bonn University) Title: Namba-like singularizations of successor cardinals Abstract: Bukowski-Namba forcing preserves aleph_1 and changes the cofinality of aleph_2 to omega. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, March 19, 2013 2:00 pm Speaker: Stan Wainer The Leeds Logic Group, University of Leeds Title: Computing Bounds from Arithmetical Proofs We explore the role of the function a+2^x, and its generalizations to higher number classes, in analyzing and measuring the computational content of a broad spectrum of arithmetical theories. continue reading…