• Source: Coherent topos

In mathematics, a coherent topos is a topos generated by a collection of quasi-compact quasi-separated objects closed under finite products.
Deligne's completeness theorem says a coherent topos has enough points. William Lawvere noticed that Deligne's theorem is a variant of the Gödel completeness theorem for first-order logic.




See also


Spectral space
Pyknotic set




References



Peter Johnstone, Sketches of an Elephant




External links


https://ncatlab.org/nlab/show/coherent+topos

Kata Kunci Pencarian:

• Coherent topos
• Topos
• Categorical logic
• Pyknotic set
• Higher Topos Theory
• Timeline of category theory and related mathematics
• Geometric logic
• Sheaf (mathematics)
• Séminaire de Géométrie Algébrique du Bois Marie
• List of algebraic geometry topics