Pages that link to "Item:Q3576052"
From MaRDI portal
The following pages link to Equivalence Relations on Classes of Computable Structures (Q3576052):
Displaying 25 items.
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures (Q639658) (← links)
- Reducibilities among equivalence relations induced by recursively enumerable structures (Q896924) (← links)
- Computability of distributive lattices (Q1745078) (← links)
- Positive preorders (Q1757648) (← links)
- The intersection of the similarity and conjunctivity equivalence classes (Q1863574) (← links)
- On bounded type-definable equivalence relations (Q1882402) (← links)
- A trichotomy for a class of equivalence relations (Q1934388) (← links)
- Degree spectra of structures (Q2036471) (← links)
- On the degree structure of equivalence relations under computable reducibility (Q2295742) (← links)
- Classifications of definable subsets (Q2300934) (← links)
- Graphs realised by r.e. equivalence relations (Q2349100) (← links)
- Index set of structures with two equivalence relations that are autostable relative to strong constructivizations (Q2364335) (← links)
- Classes of structures with no intermediate isomorphism problems (Q2805027) (← links)
- Universal computably enumerable equivalence relations (Q2921020) (← links)
- ISOMORPHISM ON HYP (Q3188321) (← links)
- Structural properties for feasibly computable classes of type two (Q4009811) (← links)
- (Q4035344) (← links)
- DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS (Q5052017) (← links)
- Compound Objects Comparators in Application to Similarity Detection and Object Recognition (Q5056085) (← links)
- PRIORITY ARGUMENTS VIA TRUE STAGES (Q5177887) (← links)
- Isomorphism relations on computable structures (Q5388722) (← links)
- Turing computable embeddings of equivalences other than isomorphism (Q5401521) (← links)
- Classes of structures with universe a subset of 1 (Q5406116) (← links)
- Agreement reducibility (Q6047663) (← links)
- COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR (Q6103452) (← links)
