What is a forcing extension (of V)?

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

• Barton, N (University of London)
• Monday 24 August 2015, 13:30-14:00
• Seminar Room 2, Newton Institute Gatehouse.

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

Mathematical, Foundational and Computational Aspects of the Higher Infinite

Recent research into the representability of forcing extensions within ground models has often focussed on semantic formulations; we find definable class models within V that express very closely what it means to be a forcing extension of V (such as Hamkins’ Naturalist Account of Forcing). In this paper, I argue that while this formulation appears to be a good candidate for interpreting forcing over V, it is problematic in that it is unable to interpret theorems concerning objects below a measurable cardinal whilst keeping the ultrapower well-founded, and also encounters difficulties in interpreting class forcings. Instead I suggest that the motivation of a strong class theory (such as MK) over V, combined with a syntactic approach to forcing in a strengthened logic, is able to provide an interpretation of various forcing constructions which does not encounter these difficulties.

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 2, Newton Institute Gatehouse
• bld31

Note that ex-directory lists are not shown.