Pages that link to "Item:Q2921020"
From MaRDI portal
The following pages link to UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS (Q2921020):
Displayed 29 items.
- On dark computably enumerable equivalence relations (Q1642296) (← links)
- Jumps of computably enumerable equivalence relations (Q1693042) (← links)
- Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277) (← links)
- Positive preorders (Q1757648) (← links)
- Effective inseparability and its applications (Q2117804) (← links)
- Completeness of the hyperarithmetic isomorphism equivalence relation (Q2143655) (← links)
- Index sets for classes of positive preorders (Q2165608) (← links)
- The theory of ceers computes true arithmetic (Q2187270) (← links)
- Classifying equivalence relations in the Ershov hierarchy (Q2204368) (← links)
- The structure of computably enumerable preorder relations (Q2213931) (← links)
- On the degree structure of equivalence relations under computable reducibility (Q2295742) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Graphs realised by r.e. equivalence relations (Q2349100) (← links)
- Boolean algebras realized by c.e. equivalence relations (Q2403654) (← links)
- On universal positive graphs (Q2687461) (← links)
- Weakly precomplete computably enumerable equivalence relations (Q2793914) (← links)
- A Survey on Universal Computably Enumerable Equivalence Relations (Q2970971) (← links)
- A Friedberg enumeration of equivalence structures (Q4596664) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- Primitive recursive equivalence relations and their primitive recursive complexity (Q5061388) (← links)
- Fixpoints and relative precompleteness (Q5075519) (← links)
- INITIAL SEGMENTS OF THE DEGREES OF CEERS (Q5100062) (← links)
- ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS (Q5107218) (← links)
- Computable embeddability for algebraic structures (Q5876742) (← links)
- Agreement reducibility (Q6047663) (← links)
- ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS (Q6095972) (← links)
- Word problems and ceers (Q6096328) (← links)
- COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR (Q6103452) (← links)
- Computable reducibility for computable linear orders of type \(\omega \) (Q6187991) (← links)