1 problem

0 votes0 replies0 views
Characterization of QA-one-step Boolean doctrines
Characterization conjecture. The structures $(\mathbf{P}_0,\mathbf{P}_1)$ that are part of a QA-stratified Boolean doctrine are precisely the QA-one-step Boolean doctrines.
Conjectureopenboolean-doctrines categorical-logic quantifier-alternationarXiv posted 2 days ago

Characterization of QA-one-step Boolean doctrines