Now showing items 1-1 of 1
Anti-Specker Properties in Constructive Reverse Mathematics
(University of Canterbury. Department of Mathematics and Statistics, 2013)
Constructive reverse mathematics is a programme in which non- and semi-constructive principles are classified in accordance with which other principles they imply or are implied by, relative to the framework of Bishop-style ...