De Morgan classifying toposes (Q1034091): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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
Normal 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 / namelinks / 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
    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

    Identifiers