Pages that link to "Item:Q3260568"
From MaRDI portal
The following pages link to Recursive Functionals and Quantifiers of Finite Types I (Q3260568):
Displaying 13 items.
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Feferman on Computability (Q5214780) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
- On the ubiquity of certain total type structures (Q5430138) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- Constructive transfinite number classes (Q5536630) (← links)
- Hyperanalytic Predicates (Q5542099) (← links)
- A Hierarchy Based on a Type Two Object (Q5585408) (← links)
- Hierarchies of Effective Descriptive Set Theory (Q5585409) (← links)
- Effective operations of type 2 in PCAs (Q5740205) (← links)
- A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY (Q5858921) (← links)
