Quantifier alternation depth in universal Boolean doctrines

MaRDI QIDQ6530382arXivFDO

Authors Marco Abbadini, Francesca Guffanti

Published in arXiv

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categorical logic, topoi (03G30) Free algebras (08B20) Quasivarieties (08C15) Theories (e.g., algebraic theories), structure, and semantics (18C10)

This page was built for publication: Quantifier alternation depth in universal Boolean doctrines

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