Freely adding one layer of quantifiers to a Boolean doctrine

MaRDI QIDQ6749775arXivFDO

Authors Marco Abbadini, Francesca Guffanti

Publication date 2024

Published in arXiv

Mathematics Subject Classification ID

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

arXiv classification

math.LO

This page was built for publication: Freely adding one layer of quantifiers to a Boolean doctrine

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