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:
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.
- Forcing and Large Cardinals
- Forcing and Set Theory of the Continuum
- Forcing and Definability
- Applications of Forcing in Topology
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
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.
October 11, 2011