A model for barrecursion of higher types
Compositio Mathematica (1971)
- Volume: 23, Issue: 1, page 123-153
- ISSN: 0010-437X
Access Full Article
top
How to cite
topScarpellini, B.. "A model for barrecursion of higher types." Compositio Mathematica 23.1 (1971): 123-153. <http://eudml.org/doc/89072>.
@article{Scarpellini1971,
author = {Scarpellini, B.},
journal = {Compositio Mathematica},
language = {eng},
number = {1},
pages = {123-153},
publisher = {Wolters-Noordhoff Publishing},
title = {A model for barrecursion of higher types},
url = {http://eudml.org/doc/89072},
volume = {23},
year = {1971},
}
TY - JOUR
AU - Scarpellini, B.
TI - A model for barrecursion of higher types
JO - Compositio Mathematica
PY - 1971
PB - Wolters-Noordhoff Publishing
VL - 23
IS - 1
SP - 123
EP - 153
LA - eng
UR - http://eudml.org/doc/89072
ER -
References
top- K. Goedel [0] The consistency of continuum hypothesis. Princeton University Press1940. Zbl0061.00902MR2514
- 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. Zbl0156.00804MR209123
- C. Kuratowski [2] Topologie, Vol. I. Warschau1952. Zbl0049.39703MR54937
- J. Shoenfield [3] Mathematical Logic. Addison-Wesley, 1967. Zbl0155.01102MR225631
- 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. Zbl0143.25502MR154801
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.