scientific article

zbMATH Open0428.03030MaRDI QIDQ3864497FDOQ3864497

A. G. Pinus

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

generalized quantifiersfirst-order theory of an infinite symmetric group

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Symmetric groups (20B30) Applications of logic to group theory (20A15) Quantifier elimination, model completeness, and related topics (03C10)

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 Q3864497)