03F60 Constructive and recursive analysis

MSC > 03Fxx Proof theory and constructive mathematics > 03F60 Constructive and recursive analysis

Les vidéos associées à 03F60 Constructive and recursive analysis

52:12

publiée le 15 mai 2023

On a decomposition of WKL!!

De Takako Nemoto

52:16

publiée le 7 juillet 2016

A derivation on the field of d.c.e.reals

De Joseph Miller

41:43

publiée le 7 juillet 2016

Randomness connecting to set theory and to reverse mathematics

De André Nies

Voir +

Copyright Carmin.tv 2026

Donner son avis