On the Uniform Computational Content of the Baire Category Theorem
Brattka, Vasco, Hendtlass, Matthew, Kreuzer, Alexander P.Langue:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-2018-0016
Date:
October, 2018
Fichier:
PDF, 549 KB
english, 2018