A generalisation of closed unbounded sets
Duration: 26 mins 26 secs
Share this media item:
Embed this media item:
Embed this media item:
About this item
Description: |
Brickhill, H (University of Bristol)
Monday 24 August 2015, 13:30-14:00 |
---|
Created: | 2015-08-25 17:36 |
---|---|
Collection: | Mathematical, Foundational and Computational Aspects of the Higher Infinite |
Publisher: | Isaac Newton Institute |
Copyright: | Brickhill, H |
Language: | eng (English) |
Abstract: | A generalisation of stationarity, associated with stationary reflection, was introduced in [1]. I give an alternative characterisation of these n-stationary sets by defining a generalisation of closed unbounded (club) sets, so an n-stationary set is defined in terms of these n-clubs in the usual way. I will then look into what familiar properties of stationary and club sets will still hold in this more general setting, and explore the connection between these concepts and indescribable cardinals. Many of the simpler properties generalise completely, but for others we need an extra assumption. For instance to generalise the splitting property of stationary sets we have: If kappa is \ Pi1 n−1 indescribable, then any n-stationary subset of κ is the union of kappa many pairwise-disjoint n-stationary sets. In L these properties generalise straightforwardly as there any cardinal which admits an n-stationary set is Pi1n−1 indescribable [1] .
If there is time I will also introduce a generalisation of ineffable cardinals and a weak ⋄ principal that is associated. [1] J. Bagaria, M. Magidor, and H. Sakai. Reflection and indescribability in the constructible universe. Israel Journal of Mathematics, to appear (2012). |
---|
Available Formats
Format | Quality | Bitrate | Size | |||
---|---|---|---|---|---|---|
MPEG-4 Video | 640x360 | 1.93 Mbits/sec | 384.56 MB | View | Download | |
WebM | 640x360 | 580.33 kbits/sec | 112.43 MB | View | Download | |
iPod Video | 480x270 | 521.96 kbits/sec | 101.06 MB | View | Download | |
MP3 | 44100 Hz | 249.88 kbits/sec | 48.41 MB | Listen | Download | |
Auto * | (Allows browser to choose a format it supports) |