Constructions in classical analysis by unwinding proofs using majorizability (abstract, Logic Colloquium 89 (1992)

by U Kohlenbach
Venue:J. Symbolic Logic