Pages that link to "Item:Q3226750"
From MaRDI portal
The following pages link to Arithmetical Predicates and Function Quantifiers (Q3226750):
Displaying 35 items.
- Levels of undecidability in rewriting (Q627134) (← links)
- Classical descriptive set theory as a refinement of effective descriptive set theory (Q638494) (← links)
- Real recursive functions and their hierarchy (Q706790) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Effective topological spaces. I: A definability theory (Q1061121) (← links)
- Effective topological spaces. II: A hierarchy (Q1073020) (← links)
- Effective topological spaces. III: Forcing and definability (Q1098842) (← links)
- Recursive nets (Q2546045) (← links)
- Hierarchies of number-theoretic predicates (Q3226751) (← links)
- A Note on Function Quantification (Q3252702) (← links)
- (Q3256314) (← links)
- On a Subrecursive Hierarchy and Primitive Recursive Degrees (Q3257773) (← links)
- Recursive Functions Over Well Ordered Partial Orderings (Q3272473) (← links)
- On a problem of Kleene’s (Q3276698) (← 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)
- Classifications of Recursive Functions by Means of Hierarchies (Q3291527) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- The theory of recursive functions, approaching its centennial (Q3946156) (← links)
- On the ‘definability of definable’ problem of Alfred Tarski, Part II (Q5045614) (← links)
- A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory (Q5108130) (← links)
- La prédicativité (Q5339291) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- A complete classification of the Δ₂¹-functions (Q5551156) (← links)
- The Forcing Method and the Upper Semilattice of Hyperdegrees (Q5554956) (← links)
- Some results in the effective descriptive set theory (Q5567856) (← links)
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy (Q5607224) (← links)
- Measure-Theoretic Uniformity in Recursion Theory and Set Theory (Q5609369) (← links)
- Notation Systems and an Effective Fixed Point Property (Q5619819) (← links)
- On Minimal and Almost-Minimal Systems of Notations (Q5622174) (← links)
- Hierarchies in Recursive Function Theory (Q5626638) (← links)
- On Hierarchies and Systems of Notations (Q5646888) (← links)
- A Property of Arithmetic Sets (Q5663849) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
