Relating first-order set theories, toposes and categories of classes

DOI10.1016/J.APAL.2013.06.004zbMath1323.03073OpenAlexW2098957909MaRDI QIDQ386623

Carsten Butz, Thomas Streicher, Alex K. Simpson, Steven Awodey

Publication date: 10 December 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.06.004

zbMATH Keywords

algebraic set theoryelementary toposintuitionistic set theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Categories of sets, characterizations (18B05)

Related Items (10)

Coalgebras in a category of classes ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Comparing material and structural set theories ⋮ Sets and Descent ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ Unnamed Item ⋮ ALGEBRAIC NEW FOUNDATIONS ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Natural models of homotopy type theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aspects of predicative algebraic set theory. II: Realizability
• Aspects of predicative algebraic set theory. I: Exact completion
• Realizability. An introduction to its categorical side
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Harvey Friedman's research on the foundations of mathematics
• Sheaf models for set theory
• Constructivism in mathematics. An introduction. Volume II
• Sheaves in geometry and logic: a first introduction to topos theory
• Set theoretic foundations for constructive analysis
• Wellfounded trees in categories
• Categorical set theory: A characterization of the category of sets
• Bernays-Gödel type theory
• Computational adequacy for recursive types in models of intuitionistic set theory
• Boolean topoi and the theory of sets
• Aspects of predicative algebraic set theory III: sheaves
• Relating First-Order Set Theories and Elementary Toposes
• A Brief Introduction to Algebraic Set Theory
• A Unified Approach to Algebraic Set Theory
• Tripos theory
• Constructive set theory
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Aspects of topoi
• Algebraic set theory and the effective topos
• The strength of Mac Lane set theory
• Type theories, toposes and constructive set theory: Predicative aspects of AST

This page was built for publication: Relating first-order set theories, toposes and categories of classes