The Search for Deep Inconsistency
58 mins 55 secs,
856.15 MB,
MPEG-4 Video
640x360,
29.97 fps,
44100 Hz,
1.93 Mbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
Description: |
Koellner, P (Harvard University)
Tuesday 25 August 2015, 09:00-10:00 |
---|
Created: | 2015-09-01 10:17 |
---|---|
Collection: | Mathematical, Foundational and Computational Aspects of the Higher Infinite |
Publisher: | Isaac Newton Institute |
Copyright: | Koellner, P |
Language: | eng (English) |
Distribution: | World (downloadable) |
Explicit content: | No |
Aspect Ratio: | 16:9 |
Screencast: | No |
Bumper: | UCS Default |
Trailer: | UCS Default |
Abstract: | The hierarchy of large cardinals provides us with a canonical means to climb the hierarchy of consistency strength. There have been any purported inconsistency proofs of various large cardinal axioms. For example, there have been many proofs purporting to show that measurable cardinals are inconsistent. But to date the only proofs that have stood the test of time are those which are rather transparent and simple, the most notable example being Kunen's proof showing that Reinhardt cardinals are inconsistent. The Kunen result, however, makes use of AC. And long standing open question is whether Reinhardt cardinals are consistent in the context of ZF.
In this talk I will survey the simple inconsistency proofs and then raise the question of whether perhaps the large cardinal hierarchy outstrips AC, passing through Reinhardt cardinals and reaching far beyond. There are two main motivations for this investigation. First, it is of interest in its own right to determine whether the hierarchy of consistency strength outstrips AC. Perhaps there is an entire "choicless" large cardinal hierarchy, one which reaches new consistency strengths and has fruitful applications. Second, since the task of proving an inconsistency result becomes easier as one strengthens the hypothesis, in the search for a deep inconsistency it is reasonable to start with outlandishly strong large cardinal assumptions and then work ones way down. This will lead to the formulation of large cardinal axioms (in the context of ZF) that start at the level of a Reinhardt cardinal and pass upward through Berkeley cardinals (due to Woodin) and far beyond. Bagaria, Woodin, and myself have been charting out this new hierarchy. I will discuss what we have found so far. |
---|
Available Formats
Format | Quality | Bitrate | Size | |||
---|---|---|---|---|---|---|
MPEG-4 Video * | 640x360 | 1.93 Mbits/sec | 856.15 MB | View | Download | |
WebM | 640x360 | 538.27 kbits/sec | 232.27 MB | View | Download | |
iPod Video | 480x270 | 522.04 kbits/sec | 225.27 MB | View | Download | |
MP3 | 44100 Hz | 249.77 kbits/sec | 107.87 MB | Listen | Download | |
Auto | (Allows browser to choose a format it supports) |