Gerber, H. Brouwer’s bar theorem and a system of ordinal notations. (English) Zbl 0205.01103 Intuitionism Proof Theory, Proc. Summer Conf. Buffalo N.Y. 1968, 327-338 (1970). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03F15 Recursive ordinals and ordinal notations Citations:Zbl 0195.012 PDFBibTeX XML