En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Audiovisual Mathematics Library

Audiovisual Mathematics Library

Documents Nemoto, Takako 1 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

On a decomposition of WKL!! - Nemoto, Takako (Author of the conference) | CIRM H

Multi angle

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

03B30 ; 03F50 ; 03F60

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None