A complete classification of the Δ₂¹-functions
Open Access
- 1 January 1964
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 70 (2) , 246-253
- https://doi.org/10.1090/s0002-9904-1964-11104-6
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 19 references indexed in Scilit:
- The form of the negation of a predicateProceedings of Symposia in Pure Mathematics, 1962
- On a problem of Kleene’sBulletin of the American Mathematical Society, 1960
- A Note on Function QuantificationProceedings of the American Mathematical Society, 1957
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)American Journal of Mathematics, 1955
- Arithmetical Predicates and Function QuantifiersTransactions of the American Mathematical Society, 1955
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955
- Creative setsMathematical Logic Quarterly, 1955
- Hierarchies of number-theoretic predicatesBulletin of the American Mathematical Society, 1955
- Zur Theorie der konstruktiven WohlordnungenMathematische Annalen, 1954
- Recursively enumerable sets of positive integers and their decision problemsBulletin of the American Mathematical Society, 1944