Pages that link to "Item:Q3226751"
From MaRDI portal
The following pages link to Hierarchies of number-theoretic predicates (Q3226751):
Displaying 12 items.
- Measure-Theoretic Uniformity in Recursion Theory and Set Theory (Q5609369) (← links)
- Definability in the monadic second-order theory of successor (Q5609381) (← links)
- On Minimal and Almost-Minimal Systems of Notations (Q5622174) (← links)
- Abstract Computability and Invariant Definability (Q5622176) (← links)
- Hierarchies over recursive well-orderings (Q5623679) (← links)
- Hierarchies in Recursive Function Theory (Q5626638) (← links)
- The next admissible set (Q5645404) (← links)
- The Game Quantifier (Q5654033) (← links)
- Computability and Recursion (Q5689263) (← links)
- SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746) (← links)
- Notes on overt choice (Q6146824) (← links)
- Iterated priority arguments in descriptive set theory (Q6636685) (← links)