Pinus, A. G. Elimination of the quantifiers \(Q_ 0\) and \(Q_ 1\) on symmetric groups. (English) Zbl 0478.03018 Sov. Math. 23, No. 12, 47-49 (1979). MSC: 03C80 03C10 20A15 20B30 × Cite Format Result Cite Review PDF
Pinus, A. G. Die Eliminierbarkeit der Quantoren \(Q_0\) und \(Q_1\) auf symmetrischen Gruppen. (Russian) Zbl 0428.03030 Izv. Vyssh. Uchebn. Zaved., Mat. 1979, No. 12(211), 45-47 (1979). MSC: 03C80 03C10 20B30 20A15 × Cite Format Result Cite Review PDF