A Unified Approach to Algebraic Set Theory
From MaRDI portal
Abstract: The paper provides an introduction to the field of Algebraic Set Theory (AST). AST is a flexible categorical framework for studying different kinds of set theories: both classical and constructive, predicative and impredicative. We discuss the basic results in this area, with a particular emphasis on applications to the constructive set theories IZF and CZF. (This paper is a summary of a tutorial on categorical logic given by the second named author at the Logic Colloquium 2006 in Nijmegen.)
Recommendations
- Aspects of predicative algebraic set theory. III: Sheaves
- A Brief Introduction to Algebraic Set Theory
- Aspects of predicative algebraic set theory. I: Exact completion
- scientific article; zbMATH DE number 909650
- scientific article; zbMATH DE number 59832
- scientific article; zbMATH DE number 2247250
- Algebras over variable theories.
- scientific article; zbMATH DE number 598115
- scientific article; zbMATH DE number 3851090
- scientific article; zbMATH DE number 2172973
Cited in
(9)- An application of infinitary universal algebra to set theory
- A universal algebraic set theory built on mereology with applications
- Sets and descent
- A Brief Introduction to Algebraic Set Theory
- Relating first-order set theories, toposes and categories of classes
- Constructive toposes with countable sums as models of constructive set theory
- scientific article; zbMATH DE number 813127 (Why is no real title available?)
- Aspects of predicative algebraic set theory. II: Realizability
- The associated sheaf functor theorem in algebraic set theory
This page was built for publication: A Unified Approach to Algebraic Set Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656421)
