English
On a decomposition of WKL!!
Multi angle
Auteurs : Nemoto, Takako (Auteur de la Conférence)
CIRM (Editeur )
03B30 - Foundations and axiomatics of classical theories
03F50 - Metamathematics of constructive systems
03F60 - Constructive and recursive analysis
CIRM (Editeur )
Loading the player...
|
Résumé :
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
Codes MSC : Keywords : constructive reverse mathematics
03B30 - Foundations and axiomatics of classical theories
03F50 - Metamathematics of constructive systems
03F60 - Constructive and recursive analysis
|
Informations sur la Vidéo
Réalisateur : Petit, JeanLangue : Anglais Date de publication : 15/05/2023 Date de captation : 01/05/2023 Sous collection : Research talks arXiv category : Logic Domaine : Logic and Foundations Format : MP4 (.mp4) - HD Durée : 00:52:12 Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2023-05-01_Nemoto.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : Type Theory, Constructive Mathematics and Geometric Logic / Théorie des types, mathématiques constructives et logique géométriqueOrganisateurs de la rencontre : Coquand, Thierry ; Negri, Sara ; Rathjen, Michael ; Schuster, Peter Dates : 01/05/2023 - 05/05/2023 Année de la rencontre : 2023 URL Congrès : https://conferences.cirm-math.fr/2319.html
Données de citation
DOI : 10.24350/CIRM.V.20040803Citer cette vidéo: 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 |
Voir aussi
- [Multi angle] Recursive inequalities in applied proof theory / Auteur de la Conférence Powell, Thomas.
- [Multi angle] From axioms to synthetic inference rules via focusing / Auteur de la Conférence Miller, Dale.
- [Multi angle] Compact ordinals in HoTT/UF / Auteur de la Conférence Escardó, Martin.
- [Multi angle] New modal operators for constructive mathematics / Auteur de la Conférence Blechschmidt, Ingo.
Bibliographie
- 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
