Forcing, regularity properties and the axiom of choice
19 mins 12 secs,
73.37 MB,
iPod Video
480x270,
29.97 fps,
44100 Hz,
521.73 kbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
Description: |
Horowitz, H (Hebrew University of Jerusalem)
Tuesday 25 August 2015, 14:00-14:30 |
---|
Created: | 2015-09-01 09:34 |
---|---|
Collection: | Mathematical, Foundational and Computational Aspects of the Higher Infinite |
Publisher: | Isaac Newton Institute |
Copyright: | Horowitz, H |
Language: | eng (English) |
Distribution: | World (downloadable) |
Explicit content: | No |
Aspect Ratio: | 16:9 |
Screencast: | No |
Bumper: | UCS Default |
Trailer: | UCS Default |
Abstract: | We consider general regularity properties associated with Suslin ccc forcing notions. By Solovay's celebrated work, starting from a model of ZFC+"There exists an inaccessible cardinal", we can get a model of ZF+DC+"All sets of reals are Lebesgue measurable and have the Baire property". By another famous result of Shelah, ZF+DC+"All sets of reals have the Baire property" is equiconsistent with ZFC. This result was obtained by isolating the notion of "sweetness", a strong version of ccc which is preserved under amalgamation, thus allowing the construction of a suitably homogeneous forcing notion.
The above results lead to the following question: Can we get a similar result for non-sweet ccc forcing notions without using an inaccessible cardinal? In our work we give a positive answer by constructing a suitable ccc creature forcing and iterating along a non-wellfounded homogeneous linear order. While the resulting model satisfies ZF+¬ACω, we prove in a subsequent work that starting with a model of ZFC+"There is a measurable cardinal", we can get a model of ZF+DCω1. This is joint work with Saharon Shelah. |
---|
Available Formats
Format | Quality | Bitrate | Size | |||
---|---|---|---|---|---|---|
MPEG-4 Video | 640x360 | 1.94 Mbits/sec | 279.69 MB | View | Download | |
WebM | 640x360 | 667.8 kbits/sec | 93.91 MB | View | Download | |
iPod Video * | 480x270 | 521.73 kbits/sec | 73.37 MB | View | Download | |
MP3 | 44100 Hz | 249.76 kbits/sec | 35.15 MB | Listen | Download | |
Auto | (Allows browser to choose a format it supports) |