On a decomposition of WKL!! | Vidéo | Carmin.tv

00:00:00 / 00:00:00

On a decomposition of WKL!!

De Takako Nemoto

constructive reverse mathematics

Apparaît dans la collection : Type Theory, Constructive Mathematics and Geometric Logic / Théorie des types, mathématiques constructives et logique géométrique

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!!.

Informations sur la vidéo

Date de captation 01/05/2023
Date de publication 15/05/2023
Institut CIRM
Licence CC BY NC ND
Langue Anglais
Audience Chercheurs, Doctorants
Réalisateur(s) Jean Petit
Format MP4

Données de citation

DOI 10.24350/CIRM.V.20040803
Citer cette vidéo Nemoto, Takako (01/05/2023). On a decomposition of WKL!!. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20040803
URL https://dx.doi.org/10.24350/CIRM.V.20040803

Domaine(s)

Logique

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

Codes MSC

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2025

Donner son avis