Malt'sev correspondence and undecidability

MaRDI QIDQ3363010zbMATH OpenFDO

Authors Oleg Belegradek

Publication date 1992

zbMATH Keywords

associative ringTuring degreesunitriangular groupelementary theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Nilpotent groups (20F18) Other degrees and reducibilities in computability and recursion theory (03D30) Undecidability and degrees of sets of sentences (03D35) Applications of logic to group theory (20A15) Applications of logic in associative algebras (16B70)

Recommendations

• Unitriangular groups and undecidability
• scientific article; zbMATH DE number 88848
• scientific article; zbMATH DE number 1357424
• On the Mal'cev Correspondence
• Publication:4735184

Cited in

(1)

• The model theory of unitriangular groups

This page was built for publication: Malt'sev correspondence and undecidability

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