Constructible Matrix Groups
From MaRDI portal
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Connections between field theory and logic (12L99) Applications of logic to commutative algebra (13L05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Linear algebraic groups over adèles and other rings and schemes (20G35)
Recommendations
Cited in
(7)- On positive and constructive groups
- A.D. Taimanov and model theory in Kazakhstan
- Some divisible matrix groups.
- On Constructive Nilpotent Groups
- scientific article; zbMATH DE number 5851286 (Why is no real title available?)
- Computable torsion-free nilpotent groups of finite dimension.
- Constructive Matrix and Orderable Groups
This page was built for publication: Constructible Matrix Groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5715086)