Home Program Participants Accommodation Travel Information

Joint FWF-JSPS Seminar on

Forcing in Set Theory

January 23 - 28, 2012

Kobe University, Kobe, Japan

NEW: Photos of the meeting have been uploaded. Abstracts, Slides, Preprints etc. are here.

Forcing is the main technique for carrying out consistency proofs in mathematics, that is, for showing that a certain statement cannot be refuted from the standard axiom system for mathematics ZFC (Zermelo-Fraenkel set theory with the axiom of choice). Originally created by Cohen in the 1960's to solve the famous continuum problem - which was addressed by Cantor in the late 19th century - by proving that the continuum hypothesis was consistently false, the forcing method has since been used to solve a vast array of problems, not only from set theory, but also from other areas of mathematics as diverse as general topology, group theory, functional analysis, etc.

The topic of this workshop are recent developments in forcing theory, as well as its connection with other areas of set theory and its applications. The main themes are:

Forcing and Large Cardinals
Forcing and Set Theory of the Continuum
Forcing and Definability
Applications of Forcing in Topology

Its goal is to bring together researchers mainly from Austria and Japan, but also from other countries and to foster academic exchange. The program will feature a series of talks by the participants, and several discussion and problem sessions.

Dates and venue

The meeting will take place from Jan. 23 (Mon.) till Jan. 28 (Sat.) 2012 in the Group of Logic, Statistics & Informatics at Kobe University. Detailed information will be put on the travel webpage later on.

Local Organizers

Jörg Brendle
Sakaé Fuchino
Hiroshi Sakai

Funding

The meeting is funded by the bilateral Joint Seminar program of the Austrian Science Fund FWF (grant AJS336-N13, principal investigator: Jakob Kellner, Kurt Gödel Research Center for Mathematical Logic, Universität Wien) and the Japan Society for the Promotion of Science JSPS (principal investigator: Sakaé Fuchino, Graduate School of System Informatics, Kobe University). This grant provides funding for most of the Japanese and Austrian participants.