University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Failures of the Forcing Theorem

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Failures of the Forcing Theorem

Download to your calendar using vCal

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

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:

Note that ex-directory lists are not shown.

Other lists

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Alcoves in Central Core https://cl-cam-ac-uk.zoom.us/j/96995932839?pwd=RHVHN1d3Qy9XL2hxUlJ2SGNPbTgxdz09

Other talks

Title tbc The Gardens of the Western Cape LMB Seminar - Mechanisms of mRNA packaging and export TBC The elephant in the room: Machine Learning directly into physical models Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity