Malt'sev correspondence and undecidability
From MaRDI portal
Publication:3363010
zbMATH Open0781.03021MaRDI QIDQ3363010FDOQ3363010
Authors: Oleg Belegradek
Publication date: 1992
Recommendations
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)
Cited In (1)
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)