Constructive Matrix and Orderable Groups

DOI10.1023/B:ALLO.0000028933.64042.93MaRDI QIDQ5715085zbMATH OpenFDO

Authors N. G. Khisamiev, Vitaliĭ Roman'kov

Publication date 19 December 2005

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:ALLO.0000028933.64042.93

zbMATH Keywords

constructive matrix groupsconstructivizable commutative ringsconstructivizable groupstorsion-free Abelian groups

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Ordered groups (06F15) Applications of logic to commutative algebra (13L05) Ordered groups (group-theoretic aspects) (20F60) Linear algebraic groups over adèles and other rings and schemes (20G35)

Recommendations

• Constructible Matrix Groups
• scientific article; zbMATH DE number 5379348
• Unitriangular groups and undecidability
• Constructive Abelian \(p\)-groups
• scientific article; zbMATH DE number 1357424

Cited in

(10)

• Orderable groups, elementary theory, and the Kaplansky conjecture
• On positive and constructive groups
• Ordered matrices with nonnegative group projector
• A.D. Taimanov and model theory in Kazakhstan
• Matrix orders generated by congruence groups
• On Constructive Nilpotent Groups
• scientific article; zbMATH DE number 5150289 (Why is no real title available?)
• Computable torsion-free nilpotent groups of finite dimension.
• Ordering groups constructively
• Constructible Matrix Groups

This page was built for publication: Constructive Matrix and Orderable Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5715085)