Forcing and classifying topoi

DOI10.1090/MEMO/0295MaRDI QIDQ3320376zbMATH OpenOpenAlexFDO

Authors Andre Scedrov

Publication date 1984

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/memo/0295

zbMATH Keywords

classifying toposcontinuum hypothesisexternal real unit intervalforcinggeneric modelgeometric logicgeometric realization functorgeometric theoriesindependence resultsinternal real unit intervalintuitionistic analysissimplicial setsSuslin hypothesis

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 65753
• Classifying topoi and the axiom of infinity
• Classifying spaces for toposes with enough points
• scientific article; zbMATH DE number 3900729
• Classifying toposes for first-order theories

Cited in

(15)

• Arithmetic transfinite induction and recursive well-orderings
• Hilbert's Nullstellensatz revisited
• A topos-theorist looks at dilators
• Classifying topoi and the axiom of infinity
• The Lee identities in topoi. I
• Classifying toposes for first-order theories
• Seven trees in one
• 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
• Classifying spaces for toposes with enough points
• scientific article; zbMATH DE number 65753 (Why is no real title available?)
• scientific article; zbMATH DE number 529898 (Why is no real title available?)
• scientific article; zbMATH DE number 3993822 (Why is no real title available?)
• Functional Thesauri, Classifying Topoi, Unification, and Flatness
• scientific article; zbMATH DE number 6290072 (Why is no real title available?)

This page was built for publication: Forcing and classifying topoi

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