Forcing and classifying topoi

From MaRDI portal

Revision as of 12:58, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3320376

Jump to:navigation, search

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

forcing simplicial sets continuum hypothesis independence results intuitionistic analysis geometric logic classifying topos generic model Suslin hypothesis geometric theories geometric realization functor external real unit interval internal 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 (6)

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

This page was built for publication: Forcing and classifying topoi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3320376&oldid=16551803"