Pages that link to "Item:Q2505502"
From MaRDI portal
The following pages link to \(\Pi^0_1\)-presentations of algebras (Q2505502):
Displayed 10 items.
- Homomorphisms onto effectively separable algebras (Q299155) (← links)
- Negative dense linear orders (Q1745085) (← links)
- Separable enumerations of division rings and effective embeddability of rings therein (Q2002482) (← links)
- \(T_1\)-separable numberings of subdirectly indecomposable algebras (Q2066092) (← links)
- Structures of degrees of negative representations of linear orders (Q2066437) (← links)
- Computably separable models (Q2168971) (← links)
- Uniform \(m\)-equivalencies and numberings of classical systems (Q2667891) (← links)
- Computability and universal determinability of negatively representable models (Q2688330) (← links)
- Classifying word problems of finitely generated algebras via computable reducibility (Q6116397) (← links)
- Separable algorithmic representations of classical systems and their applications (Q6192015) (← links)