Failures of the Forcing Theorem

Add to your list(s) Download to your calendar using vCal

• Holy, P (Universitt Bonn)
• Tuesday 25 August 2015, 16:00-17:00
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact webseminars.

Mathematical, Foundational and Computational Aspects of the Higher Infinite

The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability of the forcing relation and the truth lemma can fail for class forcing. We will also present positive results about and characterizations of the forcing theorem in class forcing. This is joint work with Regula Krapf, Philipp Lcke, Ana Njegomir and Philipp Schlicht.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.