03F60 Constructive and recursive analysis

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

Videos linked to 03F60 Constructive and recursive analysis

52:12

published on May 15, 2023

On a decomposition of WKL!!

By Takako Nemoto

52:16

published on July 7, 2016

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

By Joseph Miller

41:43

published on July 7, 2016

Randomness connecting to set theory and to reverse mathematics

By André Nies

More +

Copyright Carmin.tv 2026

Give feedback