Definable normal closures in locally finite varieties of groups. (English) Zbl 0494.20012
MSC:
20E10 | Quasivarieties and varieties of groups |
20F12 | Commutator calculus |
03C05 | Equational classes, universal algebra in model theory |
20F45 | Engel conditions |
20A10 | Metamathematical considerations in group theory |