scientific article; zbMATH DE number 3710155

MaRDI QIDQ3901501zbMATH OpenFDO

Authors Andreas Baudisch

Publication date 1980

zbMATH Keywords

first-order theoriesfree c-nilpotent group of exponent p

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Quasivarieties and varieties of groups (20E10) Nilpotent groups (20F18)

This page was built for publication:

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