Constructivizations of direct products of algebraic systems

DOI10.1007/BF01980749zbMath0531.03015MaRDI QIDQ787959

V. D. Dzgoev

Publication date: 1983

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

zbMATH Keywords

constructible groupabelian torsion-free groupdistributive relatively pseudocomplemented lattices

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Algebraic structures (08A99) Computable structure theory, computable model theory (03C57)

Related Items (1)

On Constructive Nilpotent Groups

Cites Work

• Unnamed Item
• Autostability of models and Abelian groups
• Autostability of models
• On some fundamental problems concerning isomorphism of Boolean algebras
• On direct decompositions of torsionfree Abelian groups
• Hierarchies of Boolean algebras

This page was built for publication: Constructivizations of direct products of algebraic systems