The following pages link to (Q5391560):
Displaying 19 items.
- Reducibility on families (Q431669) (← links)
- Descriptive properties on admissible sets (Q619320) (← links)
- On the admissible sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models (Q662638) (← links)
- Fixed points for the jump operator (Q694226) (← links)
- Jump inversions of algebraic structures and the \({\Sigma}\)-definability (Q1620784) (← links)
- A computable structure with nonstandard computability (Q1703284) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- Computable embeddings for pairs of linear orders (Q2055305) (← links)
- A note on computable embeddings for ordinals and their reverses (Q2106587) (← links)
- Limitwise monotonic reducibility of sets and \(\Sigma\)-definability of abelian groups (Q2287042) (← links)
- Processes and structures on approximation spaces (Q2401545) (← links)
- On functors enumerating structures (Q2403649) (← links)
- Rice sequences of relations (Q2941599) (← links)
- Jump inversions of algebraic structures and Σ‐definability (Q5108844) (← links)
- A Computable Structure with Non-Standard Computability (Q5230801) (← links)
- On Processes and Structures (Q5326386) (← links)
- COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191) (← links)
- EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER (Q6095975) (← links)
- Families of permutations and ideals of Turing degrees (Q6148009) (← links)
