Pages that link to "Item:Q3309827"
From MaRDI portal
The following pages link to Classifying positive equivalence relations (Q3309827):
Displayed 40 items.
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures (Q639658) (← links)
- The noneffectivity of Arslanov's completeness criterion and related theorems (Q781514) (← links)
- \(\Sigma^ n_ 0\)-equivalence relations (Q793716) (← links)
- Reducibilities among equivalence relations induced by recursively enumerable structures (Q896924) (← links)
- Hyperdiagonalizable algebras (Q1078181) (← links)
- On a conjecture of Bergstra and Tucker (Q1124321) (← links)
- On dark computably enumerable equivalence relations (Q1642296) (← links)
- Jumps of computably enumerable equivalence relations (Q1693042) (← links)
- Precomplete numberings (Q2036469) (← links)
- The category of equivalence relations (Q2066097) (← links)
- Completeness of the hyperarithmetic isomorphism equivalence relation (Q2143655) (← links)
- Special classes of positive preorders (Q2145061) (← links)
- Partial combinatory algebra and generalized numberings (Q2148902) (← 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)
- Minimal equivalence relations in hyperarithmetical and analytical hierarchies (Q2207013) (← links)
- The structure of computably enumerable preorder relations (Q2213931) (← links)
- On computably enumerable structures (Q2263114) (← links)
- On the degree structure of equivalence relations under computable reducibility (Q2295742) (← links)
- Weakly precomplete equivalence relations in the Ershov hierarchy (Q2300735) (← links)
- Fixed point theorems for precomplete numberings (Q2311209) (← links)
- Graphs realised by r.e. equivalence relations (Q2349100) (← 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)
- On Σ<sup>1</sup> <sub>1</sub> equivalence relations over the natural numbers (Q3117786) (← links)
- Precomplete Equivalence Relations in Dominical Categories (Q3741621) (← links)
- GENERALIZATIONS OF THE RECURSION THEOREM (Q4647121) (← links)
- Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i> (Q4764617) (← 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)
- Computable embeddability for algebraic structures (Q5876742) (← links)
- Fixed points and unfounded chains (Q5939843) (← 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)