Forcing and classifying topoi

DOI10.1090/memo/0295zbMath0536.03048OpenAlexW1995877143MaRDI QIDQ3320376

Andrej 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

forcingsimplicial setscontinuum hypothesisindependence resultsintuitionistic analysisgeometric logicclassifying toposgeneric modelSuslin hypothesisgeometric theoriesgeometric realization functorexternal real unit intervalinternal real unit interval

Mathematics Subject Classification ID

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

Related Items

Functional Thesauri, Classifying Topoi, Unification, and Flatness ⋮ Seven trees in one ⋮ The Lee identities in topoi. I ⋮ A topos-theorist looks at dilators ⋮ A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra ⋮ Arithmetic transfinite induction and recursive well-orderings