Connecting topological dimension theory and recursion theory
31 mins 46 secs,
455.94 MB,
MPEG-4 Video
640x360,
29.97 fps,
44100 Hz,
1.91 Mbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Pauly, A (University of Cambridge)
Thursday 27 August 2015, 13:30-14:00 |
|---|
| Created: | 2015-09-28 13:57 |
|---|---|
| Collection: | Mathematical, Foundational and Computational Aspects of the Higher Infinite |
| Publisher: | Isaac Newton Institute |
| Copyright: | Pauly, A |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | We introduce the point degree spectrum of a represented spaces as a substructure of the Medvedev degrees, which integrates the notion of Turing degrees, enumeration degrees, continuous degrees, and so on. The point degree spectrum connects descriptive set theory, topological dimension theory and computability theory. Through this new connection, for instance, we construct a family of continuum many infinite dimensional Cantor manifolds possessing Haver's property C whose Borel structures at an arbitrary finite rank are mutually non-isomorphic, which strengthen various theorems in infinite dimensional topology such as Roman Pol's solution to Pavel Alexandrov's old problem. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video * | 640x360 | 1.91 Mbits/sec | 455.94 MB | View | Download | |
| WebM | 640x360 | 591.61 kbits/sec | 137.72 MB | View | Download | |
| iPod Video | 480x270 | 493.16 kbits/sec | 114.74 MB | View | Download | |
| MP3 | 44100 Hz | 249.77 kbits/sec | 58.17 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||