Some constructivizations of Abelian groups
From MaRDI portal
Cited in
(21)- New degree spectra of Polish spaces
- Left-orderable computable groups
- Hierarchies of torsion-free Abelian groups
- \(\Pi_{1}^{0}\) classes and orderable groups
- Eliminating unbounded search in computable algebra
- Computability of Polish spaces up to homeomorphism
- Computable topological groups and Pontryagin duality
- Decompositions of decidable abelian groups
- Computable abelian groups
- Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
- Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
- Arithmetic hierarchy of Abelian groups
- Computable valued fields
- The computable dimension of ordered abelian groups
- Torsion-free abelian groups with optimal Scott families
- Independence in computable algebra
- Computable topological abelian groups
- Orders on magmas and computability theory
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Computable Stone spaces
- Degrees of orders on torsion-free abelian groups
This page was built for publication: Some constructivizations of Abelian groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q786923)