Pages that link to "Item:Q2204368"
From MaRDI portal
The following pages link to Classifying equivalence relations in the Ershov hierarchy (Q2204368):
Displaying 12 items.
- Classifying pairs of equivalence relations (Q1182704) (← links)
- On dark computably enumerable equivalence relations (Q1642296) (← links)
- A trichotomy for a class of equivalence relations (Q1934388) (← links)
- The theory of ceers computes true arithmetic (Q2187270) (← links)
- Minimal equivalence relations in hyperarithmetical and analytical hierarchies (Q2207013) (← links)
- Weakly precomplete equivalence relations in the Ershov hierarchy (Q2300735) (← links)
- Degree-invariant, analytic equivalence relations without perfectly many classes (Q2832838) (← links)
- Ulm Classification of Analytic Equivalence Relations in Generic Universes (Q4210833) (← links)
- Primitive recursive equivalence relations and their primitive recursive complexity (Q5061388) (← links)
- Classifying homogeneous cellular ordinal balleans up to coarse equivalence (Q5368828) (← links)
- Computable embeddability for algebraic structures (Q5876742) (← links)
- ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS (Q6095972) (← links)