Pages that link to "Item:Q2505502"
From MaRDI portal
The following pages link to \(\Pi^0_1\)-presentations of algebras (Q2505502):
Displaying 14 items.
- Homomorphisms onto effectively separable algebras (Q299155) (← links)
- Independence in computable algebra (Q497725) (← 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)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- Uniform \(m\)-equivalencies and numberings of classical systems (Q2667891) (← links)
- Computability and universal determinability of negatively representable models (Q2688330) (← links)
- \(H^1\) and presentations of finite dimensional algebras. (Q2782425) (← links)
- Classifying word problems of finitely generated algebras via computable reducibility (Q6116397) (← links)
- Separable algorithmic representations of classical systems and their applications (Q6192015) (← links)
- Logical specifications of effectively separable data models (Q6638449) (← links)
