Scarpellini, B. A model for barrecursion of higher types. (English) Zbl 0212.01901 Compos. Math. 23, 123-153 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 13 Documents MSC: 03C99 Model theory PDF BibTeX XML Cite \textit{B. Scarpellini}, Compos. Math. 23, 123--153 (1971; Zbl 0212.01901) Full Text: Numdam EuDML References: [1] K. Goedel [0] The consistency of continuum hypothesis . Princeton University Press 1940. · Zbl 0061.00902 · doi:10.1515/9781400881635 [2] Howard-Kreisel [1] Transfinite induction and bar induction of type zero and one and the role of continuity in intuitionistic analysis . JSL, vol. 31, no. 3, pg. 325-358. · Zbl 0156.00804 · doi:10.2307/2270450 [3] C. Kuratowski [2] Topologie , Vol. I. Warschau 1952. · Zbl 0049.39703 · eudml:219345 [4] J. Shoenfield [3] Mathematical Logic . Addison-Wesley, 1967. · Zbl 0155.01102 [5] C. Spector [4] Provably recursive functionals of analysis . Proceedings of the Symposia of pure mathematics, vol. 5, 1962, pg. 1-27. [5] Stanford report , vol. I, winter 1963-64. Mimeograped notes. · Zbl 0143.25502 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.