Conceptual completeness for subgeometric logics is characterized by duality between theories and topoi, with regular, disjunctive, coherent, and essentially algebraic logics proven complete and conservatively embedded in geometric logic.
Theory and Applications of Categories , volume =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Conceptual completeness for subgeometric logics
Conceptual completeness for subgeometric logics is characterized by duality between theories and topoi, with regular, disjunctive, coherent, and essentially algebraic logics proven complete and conservatively embedded in geometric logic.