The following pages link to (Q5482032):
Displaying 13 items.
- Reducibility on families (Q431669) (← links)
- Descriptive properties on admissible sets (Q619320) (← links)
- Jump inversions of algebraic structures and the \({\Sigma}\)-definability (Q1620784) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- On mutual definability of operations on fields (Q2186309) (← links)
- Generalized hyperarithmetical computability over structures (Q2401541) (← links)
- Processes and structures on approximation spaces (Q2401545) (← links)
- On the inner constructivizability of admissible sets (Q2883032) (← links)
- Rice sequences of relations (Q2941599) (← links)
- Jump inversions of algebraic structures and Σ‐definability (Q5108844) (← links)
- On Processes and Structures (Q5326386) (← links)
- A certain reducibility on admissible sets (Q5391560) (← links)
- Agreement reducibility (Q6047663) (← links)