Recent and upcoming talks by Daisuke Ikegami

Logic Colloquium 2014, July 14-19, 2014

Logic Colloquium 2014 will take place during the Vienna Summer of Logic. The Program Committee members are: Z. Adamowicz, J. Avigad (Chair), M. Bezem, S. Friedman, J. Koenigsman, K. Lodaya, P. continue reading…

Daisuke Ikegami: Boolean-valued second-order logic

Thursday, February 7, 2013, 14.15 Seminar room 1.007, Mathematical Institute, University of Bonn Speaker: Daisuke Ikegami (Berkeley) Title: Boolean-valued second-order logic continue reading…

Arctic Set Theory Workshop, February 1-5, 2013

This international workshop on the latest developments in set theory, including set theoretic model theory and constructive set theory, will be held in the Kilpisjärvi Research Center of the University of Helsinki, during February 1-5, 2013. continue reading…

Forcing, Large Cardinals and Descriptive Set Theory, September 1 – October 25, 2013

Forcing, Large Cardinals and Descriptive Set Theory, September 1 – October 25, 2013, at the ESI The Erwin Schrödinger International Institute for Mathematical Physics (Vienna). This 6-week programme at the ESI will be devoted to Large Cardinals and Forcing during September 9-27, and to Descriptive Set Theory during September 30 – October 18. continue reading…

Daisuke Ikegami: Omega-logic and Boolean valued second order logic

Wednesday, September 12, from 15:30 to 17:00 Seminar Room, Department of Logic and History and Philosophy of Science, UB, Montalegre 6, 4th floor, Barcelona. Speaker: Daisuke Ikegami (UC Berkeley). Title: Omega-logic and Boolean valued second order logic Abstract: Woodin’s Omega-logic is a logic on generic absoluteness and Woodin’s Omega-conjecture states that all the possible results on generic absoluteness must be explained by looking at certain good sets of reals called “universally Baire sets”. continue reading…

Forcing extensions and large cardinals, December 4 – 7, 2012

Dates, venue, and organizer Dates: December 4 (Tue) – 7 (Fri), 2012 Venue: Room 111, Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan Organizer: Tadatoshi Miyamoto (Nanzan University). Overview By strengthening the standard Zermelo-Fraenkel axiom system of set theory (ZFC), one can decide a number of important statements in mathematics, like e.g. continue reading…

Amsterdam workshop in set theory, February 10th and 11th, 2012

Amsterdam workshop in set theory February 10th and 11th, 2012 On Friday February 10th 2012, Yurii Khomskii will publicly defend his PhD thesis in Amsterdam. Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. continue reading…

5th Young Set Theory Workshop

The 2012 Young Set Theory Workshop will take place between April 30th and May 4th 2012 in Luminy, France. The aim of this conference is to bring together PhD students, postdocs and young researchers in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. continue reading…

31/Oct/2011: Simon Thomas and Daisuke Ikegami

Rutgers Logic Seminars Fall 2011 Room 705, Hill Center Descriptive Set Theory Seminar Monday Oct 31st, 3:20-4:40 pm Simon Thomas, Rutgers Just-infinite groups and topological full groups of minimal subshifts Rutgers Logic Seminar Monday Oct 31st, 5:00-6:20 pm Daisuke Ikegami, Berkeley Omega-logic and Boolean-valued 2nd-order Logic continue reading…