Français
On a decomposition of WKL!!
Multi angle
Authors : Nemoto, Takako (Author of the conference)
CIRM (Publisher )
03B30 - Foundations and axiomatics of classical theories
03F50 - Metamathematics of constructive systems
03F60 - Constructive and recursive analysis
CIRM (Publisher )
Loading the player...
|
Abstract :
Constructive reverse mathematics aims to decompose mathematical theorems into choice principles and logical principles. In this talk, we decompose a version of weak Koenig's lemma with a uniqueness condition called WKL!!.
Keywords : constructive reverse mathematics
MSC Codes : Keywords : constructive reverse mathematics
03B30 - Foundations and axiomatics of classical theories
03F50 - Metamathematics of constructive systems
03F60 - Constructive and recursive analysis
|
Information on the Video
Film maker : Petit, JeanLanguage : English Available date : 15/05/2023 Conference Date : 01/05/2023 Subseries : Research talks arXiv category : Logic Mathematical Area(s) : Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 00:52:12 Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2023-05-01_Nemoto.mp4 
|
Information on the Event
Event Title : Type Theory, Constructive Mathematics and Geometric Logic / Théorie des types, mathématiques constructives et logique géométriqueEvent Organizers : Coquand, Thierry ; Negri, Sara ; Rathjen, Michael ; Schuster, Peter Dates : 01/05/2023 - 05/05/2023 Event Year : 2023 Event URL : https://conferences.cirm-math.fr/2319.html
Citation Data
DOI : 10.24350/CIRM.V.20040803Cite this video as: Nemoto, Takako (2023). On a decomposition of WKL!!. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20040803 URI : http://dx.doi.org/10.24350/CIRM.V.20040803 |
See Also
- [Multi angle] Recursive inequalities in applied proof theory / Author of the conference Powell, Thomas.
- [Multi angle] From axioms to synthetic inference rules via focusing / Author of the conference Miller, Dale.
- [Multi angle] Compact ordinals in HoTT/UF / Author of the conference Escardó, Martin.
- [Multi angle] New modal operators for constructive mathematics / Author of the conference Blechschmidt, Ingo.
Bibliography
- FUJIWARA, Makoto et NEMOTO, Takako. On the decomposition of WKL!!. Philosophical Transactions of the Royal Society A, 2023, vol. 381, no 2248, p. 20220010. - http://doi.org/10.1098/rsta.2022.0010
Imagette Video
