A Note on Function Quantification

DOI10.2307/2033710MaRDI QIDQ3252702zbMATH OpenOpenAlexFDO

Authors J. W. Addison, Stephen Cole Kleene

Publication date 1957

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 3061891 (Why is no real title available?)
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Recursive well-orderings

Cited in

(6)

• A complete classification of the Δ₂¹-functions
• On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$
• Hierarchies of Effective Descriptive Set Theory
• Constructive Versions of Ordinal Number Classes
• scientific article; zbMATH DE number 3139751 (Why is no real title available?)
• Parametrization over inductive relations of a bounded number of variables

This page was built for publication: A Note on Function Quantification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3252702)