The following pages link to A Note on Function Quantification (Q3252702):
Displayed 6 items.
- Parametrization over inductive relations of a bounded number of variables (Q917545) (← links)
- (Q3256314) (← links)
- On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$ (Q3276700) (← links)
- Constructive Versions of Ordinal Number Classes (Q3281066) (← links)
- A complete classification of the Δ₂¹-functions (Q5551156) (← links)
- Hierarchies of Effective Descriptive Set Theory (Q5585409) (← links)