scientific article; zbMATH DE number 65753

MaRDI QIDQ4010364zbMATH OpenFDO

Authors Ieke Moerdijk, Saunders Mac Lane

Publication date 27 September 1992

zbMATH Keywords

Axiom of ChoiceContinuum Hypothesiselementary toposforcinggeneralized sheaf theoretic methodsindependenceKripke-Joyal semantics for the intuitionistic logic of toposespresheavessheafificationsystem BZC of bounded Zermelo set theory with choicetopos theorywell-pointed topos

Mathematics Subject Classification ID

Consistency and independence results (03E35) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• Forcing and classifying topoi
• scientific article; zbMATH DE number 3900729
• Sheaves in geometry and logic: a first introduction to topos theory
• scientific article; zbMATH DE number 922679
• Freyd’s models for the independence of the axiom of choice

Cited in

(8)

• Forcing and classifying topoi
• Forcing for IZF in sheaf toposes
• scientific article; zbMATH DE number 3900729 (Why is no real title available?)
• A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra
• Freyd’s models for the independence of the axiom of choice
• A combinatorial forcing for coding the universe by a real when there are no sharps
• Special subsets of the reals and tree forcing notions
• Real numbers in the topos of sheaves over the category of filters

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4010364)