Author: nLab edit announcer Format: MarkdownItexInserted two syntactic characterizations of cartesian theories, and references to the Palmgren-Vickers paper.
Steve Vickers
<a href="https://ncatlab.org/nlab/revision/diff/cartesian+logic/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/cartesian+logic/7">v7</a>, <a href="https://ncatlab.org/nlab/show/cartesian+logic">current</a>
Inserted two syntactic characterizations of cartesian theories, and references to the Palmgren-Vickers paper.
Author: spitters Format: MarkdownItexSince cartesian theory redirects to essentially algebraic theory, perhaps the two pages should be merged.
<a href="https://ncatlab.org/nlab/revision/diff/cartesian+logic/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/cartesian+logic/8">v8</a>, <a href="https://ncatlab.org/nlab/show/cartesian+logic">current</a>
Since cartesian theory redirects to essentially algebraic theory, perhaps the two pages should be merged.
Author: maxsnew Format: MarkdownItexDescribe how existential quantifiers get modeled in a finitely complete category.
<a href="https://ncatlab.org/nlab/revision/diff/cartesian+logic/10">diff</a>, <a href="https://ncatlab.org/nlab/revision/cartesian+logic/10">v10</a>, <a href="https://ncatlab.org/nlab/show/cartesian+logic">current</a>
Describe how existential quantifiers get modeled in a finitely complete category.