scientific article; zbMATH DE number 2172973

MaRDI QIDQ4680361zbMATH OpenFDO

Authors Michael A. Warren, Steve Awodey

Publication date 1 June 2005

Full work available at URL https://eudml.org/doc/125101, http://www.emis.de/journals/TAC/volumes/15/1/15-01abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

algebraic set theorycategorical logicdependent type theoryideal completionpredicativitypretopossmall maps

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Categories of sets, characterizations (18B05) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• scientific article; zbMATH DE number 813127
• Aspects of predicative algebraic set theory. I: Exact completion
• Aspects of predicative algebraic set theory. II: Realizability
• Predicative foundations of arithmetic
• A new approach to predicative set theory
• Algebraicity and implicit definability in set theory
• Analysis in a formal predicative set theory
• A minimal predicative set theory
• Towards the algebraization of set theory. Set-theoretic domains
• Intuitionistic set theory

Cited in

(18)

• Comparing material and structural set theories
• Explicit algebraic models for constructive and classical theories with non-standard elements
• Aspects of predicative algebraic set theory. III: Sheaves
• Constructing a small category of setoids
• Set theory in predicate calculus with equality
• A Unified Approach to Algebraic Set Theory
• Relating first-order set theories, toposes and categories of classes
• Derived rules for predicative set theory: an application of sheaves
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Constructive toposes with countable sums as models of constructive set theory
• Aspects of predicative algebraic set theory. II: Realizability
• scientific article; zbMATH DE number 2222244 (Why is no real title available?)
• scientific article; zbMATH DE number 2247250 (Why is no real title available?)
• scientific article; zbMATH DE number 2247251 (Why is no real title available?)
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Coalgebras in a category of classes
• The associated sheaf functor theorem in algebraic set theory
• Aspects of predicative algebraic set theory. I: Exact completion

This page was built for publication:

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