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

Original Announcement

This workshop is devoted to new methods of forcing, in infinitary combinatorics, and in connection with axioms about the real line. There were exciting recent developments in each of the two areas, involving Prikry type forcing and principles related to the tree property for the former, and finite support iterations with side conditions for the latter. The goal of the workshop is to foster interaction between people working in these two areas, and initiate collaborations on the many problems that remain open.

The topics of the workshop are:

  1. Infinitary combinatorics.
  2. Forcing with side conditions in connections to axioms about the real line.

Material from the workshop

A list of participants.

The workshop schedule.

A report on the workshop activities.

A list of open problems.

Papers arising from the workshop:

The strong tree property and weak square
by  Yair Hayut and Spencer Unger,  MLQ Math. Log. Q. 63 (2017), no. 1-2, 150–154  MR3647841
Namba forcing, weak approximation, and guessing
by  Sean Cox and John Krueger