Sheaf models for set theory

DOI10.1016/0022-4049(80)90096-1MaRDI QIDQ1145695zbMATH OpenOpenAlexFDO

Authors 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

quantificationGrothendieck toposindependence resultssymmetric extensionsFraenkel-Mostowski modelssheaf modelsBoolean- valued modelsintuitionistic Zermelo-Fraenkel set theory with atoms

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3442060 (Why is no real title available?)
• scientific article; zbMATH DE number 7078773 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3411260 (Why is no real title available?)
• A quantitative theory of preferences: Some results on transition functions
• Boolean topoi and the theory of sets
• Completeness results for intuitionistic and modal logic in a categorical setting
• The axiom of choice

Cited in

(25)

• The axiom of choice
• The associated sheaf functor theorem in algebraic set theory
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• The World's simplest axiom of choice fails
• Aspects of predicative algebraic set theory. I: Exact completion
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Nonstandard proof methods in toposes
• Lawvere–Tierney sheaves in Algebraic Set Theory
• Small decidable sheaves
• Constructive toposes with countable sums as models of constructive set theory
• On the quantificational logic of intuitionistic set theory
• Apartness, sharp elements, and the Scott topology of domains
• Relating First-Order Set Theories and Elementary Toposes
• A Brief Introduction to Algebraic Set Theory
• Complete topoi representing models of set theory
• Constructive \(\lambda\)-models
• Constructive set theoretic models of typed combinatory logic
• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• Exploring mathematical objects from custom-tailored mathematical universes
• What do Freyd's toposes classify?
• Seven trees in one
• Category theory and the foundations of mathematics: philosophical excavations.
• 2006 Annual Meeting of the Association for Symbolic Logic
• Relating first-order set theories, toposes and categories of classes
• Aspects of predicative algebraic set theory. II: Realizability

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1145695)