All topoi are localic or why permutation models prevail
From MaRDI portal
Publication:1087632
DOI10.1016/0022-4049(87)90042-9zbMath0611.18003MaRDI QIDQ1087632
Publication date: 1987
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(87)90042-9
locale; topos of sheaves; Grothendieck topos; complete Heyting algebra; Boolean topos; exponential varieties; topos of sets
Related Items
Unnamed Item, An elementary definability theorem for first order logic, Introduction: A personal tribute to Peter Freyd and Bill Lawvere, Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator, Unnamed Item, Unnamed Item