Pages that link to "Item:Q5437595"
From MaRDI portal
The following pages link to Ranked structures and arithmetic transfinite recursion (Q5437595):
Displaying 13 items.
- Computable bi-embeddable categoricity (Q1731326) (← links)
- Embeddings between well-orderings: computability-theoretic reductions (Q1987213) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- Effectiveness for the dual Ramsey theorem (Q2075273) (← links)
- Degrees of bi-embeddable categoricity of equivalence structures (Q2312081) (← links)
- Weak and strong versions of effective transfinite recursion (Q2683778) (← links)
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- Degree-invariant, analytic equivalence relations without perfectly many classes (Q2832838) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Degrees of bi-embeddable categoricity (Q4995600) (← links)
- ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE (Q5250130) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)
- What is effective transfinite recursion in reverse mathematics? (Q6047666) (← links)