Pages that link to "Item:Q4315325"
From MaRDI portal
The following pages link to Recursively Enumerable Equivalence Relations Modulo Finite Differences (Q4315325):
Displaying 6 items.
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures (Q639658) (← links)
- Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277) (← links)
- The theory of ceers computes true arithmetic (Q2187270) (← links)
- Unification modulo lists with reverse relation with certain word equations (Q2305403) (← links)
- Congruence relations on lattices of recursively enumerable sets (Q3149978) (← links)
- On Some Properties of Recursively Enumerable Equivalence Relations (Q3800019) (← links)