A uniform continuity principle for the Baire space and a corresponding bar induction

A uniform continuity principle for the Baire space and a corresponding bar induction

TitleA uniform continuity principle for the Baire space and a corresponding bar induction
Publication TypeUnpublished
Year of Publication2015
AuthorsKawai T
Series TitleTopology, Algebra, and Categories in Logic 2015
Date Published06/2015
CityIschia, Italy
Undefined