Sheaf models for set theory

DOI10.1016/0022-4049(80)90096-1zbMath0446.03041OpenAlexW2054024574MaRDI QIDQ1145695

Michael Paul Fourman

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

zbMATH Keywords

quantificationindependence resultsGrothendieck topossymmetric extensionsFraenkel-Mostowski modelssheaf modelsBoolean- valued modelsintuitionistic Zermelo-Fraenkel set theory with atoms

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (25)

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

• A quantitative theory of preferences: Some results on transition functions
• Completeness results for intuitionistic and modal logic in a categorical setting
• Boolean topoi and the theory of sets
• The axiom of choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sheaf models for set theory