Theories of Boolean algebras in a calculus with the quantifier infinitely many exist

DOI10.1007/BF00968035MaRDI QIDQ1256444zbMATH OpenOpenAlexFDO

Authors A. G. Pinus

Publication date 1977

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00968035

zbMATH Keywords

DecidabilityFirst-Order Logic with Extra QuantifierTheory of Boolean Algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Logic with extra quantifiers and operators (03C80) Boolean algebras (Boolean rings) (06E99)

This page was built for publication: Theories of Boolean algebras in a calculus with the quantifier infinitely many exist

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