A Note on Function Quantification

DOI10.2307/2033710zbMath0084.24901OpenAlexW4232107061MaRDI QIDQ3252702

Stephen C. Kleene, J. W. Addison

Publication date: 1957

Full work available at URL: https://doi.org/10.2307/2033710

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

A complete classification of the Δ₂¹-functions ⋮ Hierarchies of Effective Descriptive Set Theory ⋮ Parametrization over inductive relations of a bounded number of variables ⋮ On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$ ⋮ Constructive Versions of Ordinal Number Classes ⋮ Unnamed Item

Cites Work

• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Recursive well-orderings
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Unnamed Item