Constructive Matrix and Orderable Groups
From MaRDI portal
Publication:5715085
DOI10.1023/B:ALLO.0000028933.64042.93zbMath1080.20044MaRDI QIDQ5715085
N. G. Khisamiev, Vitaliĭ Roman'kov
Publication date: 19 December 2005
Published in: Algebra and Logic (Search for Journal in Brave)
torsion-free Abelian groupsconstructivizable groupsconstructive matrix groupsconstructivizable commutative rings
Applications of logic to commutative algebra (13L05) Ordered groups (06F15) Ordered groups (group-theoretic aspects) (20F60) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Linear algebraic groups over adèles and other rings and schemes (20G35)
Related Items
Computable torsion-free nilpotent groups of finite dimension. ⋮ On positive and constructive groups ⋮ On Constructive Nilpotent Groups ⋮ A.D. Taimanov and model theory in Kazakhstan
This page was built for publication: Constructive Matrix and Orderable Groups