Characterizes geometric theories with De Morgan classifying toposes via the amalgamation property of models and gives constructions to produce De Morgan toposes from arbitrary ones.
The model-theoretic significance of complemented existential formulas
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
De Morgan's law in toposes I
Characterizes geometric theories with De Morgan classifying toposes via the amalgamation property of models and gives constructions to produce De Morgan toposes from arbitrary ones.