A Note on Function Quantification
From MaRDI portal
Publication:3252702
DOI10.2307/2033710zbMath0084.24901MaRDI QIDQ3252702
Stephen C. Kleene, J. W. Addison
Publication date: 1957
Full work available at URL: https://doi.org/10.2307/2033710
Related Items
A complete classification of the Δ₂¹-functions, Hierarchies of Effective Descriptive Set Theory, Parametrization over inductive relations of a bounded number of variables, Unnamed Item, On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$, Constructive Versions of Ordinal Number Classes
Cites Work