Sheaf models for set theory
From MaRDI portal
Publication:1145695
DOI10.1016/0022-4049(80)90096-1zbMath0446.03041OpenAlexW2054024574MaRDI QIDQ1145695
Publication date: 1980
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(80)90096-1
quantificationindependence resultsGrothendieck topossymmetric extensionsFraenkel-Mostowski modelssheaf modelsBoolean- valued modelsintuitionistic Zermelo-Fraenkel set theory with atoms
Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)
Related Items
Constructive set theoretic models of typed combinatory logic, Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator, On the quantificational logic of intuitionistic set theory, Seven trees in one, What do Freyd's toposes classify?, Relating first-order set theories, toposes and categories of classes, Nonstandard proof methods in toposes, Apartness, sharp elements, and the Scott topology of domains, Constructive toposes with countable sums as models of constructive set theory, Relating First-Order Set Theories and Elementary Toposes, The World's simplest axiom of choice fails, Complete topoi representing models of set theory, Constructive \(\lambda\)-models, Small decidable sheaves, The associated sheaf functor theorem in algebraic set theory, Aspects of predicative algebraic set theory. I: Exact completion, Aspects of predicative algebraic set theory. II: Realizability, The axiom of choice, 2006 Annual Meeting of the Association for Symbolic Logic, A Brief Introduction to Algebraic Set Theory, Lawvere–Tierney sheaves in Algebraic Set Theory, Exploring mathematical objects from custom-tailored mathematical universes, Category theory and the foundations of mathematics: philosophical excavations., Set-theoretical and other elementary models of the \(\lambda\)-calculus, The lack of definable witnesses and provably recursive functions in intuitionistic set theories
Cites Work
