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.
Existentially closed models and locally zero-dimensional toposes
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.