De Morgan classifying toposes (Q1034091): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.aim.2009.07.009 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963184861 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0808.1519 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying topoi and finite forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Yoneda representations of flat functors and classifying toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4828514 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.AIM.2009.07.009 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:04, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | De Morgan classifying toposes |
scientific article |
Statements
De Morgan classifying toposes (English)
0 references
10 November 2009
0 references
This paper solves the long-standing question of characterizing the class of geometric theories classified by De Morgan or Boolean topoi, by providing complete syntactic characterizations for both these classes of theories. The paper consists of six sections, the third of which gives a simplified method for a Grothendieck topos to be De Morgan or Boolean, constituting the highlight of the paper. The paper also gives model-theoretic criteria for theories whose topoi arise as localizations of a given presheaf topos. The paper concludes with a detailed analysis of some examples, and an analysis of the theory of fields in relation to De Morgan's law is carried out in the joint paper [Adv. Math. 222, No.~6, 2145--2152 (2009; Zbl 1181.18003)] with \textit{P. Johnstone}.
0 references
De Morgan topos
0 references
classifying topos
0 references
Grothendieck topos
0 references
geometric theory
0 references
Boolean topos
0 references