×

zbMATH — the first resource for mathematics

A model for barrecursion of higher types. (English) Zbl 0212.01901

MSC:
03C99 Model theory
PDF BibTeX XML Cite
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.