×

zbMATH — the first resource for mathematics

A system of abstract constructive ordinals. (English) Zbl 0264.02026

MSC:
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03F15 Recursive ordinals and ordinal notations
03F55 Intuitionistic mathematics
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] DOI: 10.1007/BF01360719 · Zbl 0162.01901 · doi:10.1007/BF01360719
[2] Combinatory logic 1 (1958)
[3] DOI: 10.1007/BF01209181 · JFM 52.0193.01 · doi:10.1007/BF01209181
[4] Vierteljahrsschrift der Naturforschenden Gesellschaft in Zürich 95 pp 115– (1950)
[5] Proceedings of the Summer Conference on Intuitionism and Proof Theory (1970)
[6] Intensional interpretations of functionals of finite type. I 32 pp 198– (1967) · Zbl 0174.01202
[7] DOI: 10.1016/0003-4843(70)90001-X · Zbl 0211.01101 · doi:10.1016/0003-4843(70)90001-X
[8] Compositio Matkematica 20 pp 107– (1968)
[9] DOI: 10.1111/j.1746-8361.1958.tb01464.x · Zbl 0090.01003 · doi:10.1111/j.1746-8361.1958.tb01464.x
[10] Formal systems and recursive functions pp 176– (1965)
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.