Algebraic set theory and the effective topos

DOI10.2178/JSL/1122038918zbMath1089.03044OpenAlexW1976525497MaRDI QIDQ5718693

Claire Kouwenhoven-Gentil, Jaap van Oosten

Publication date: 16 January 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/15431

zbMATH Keywords

effective toposHeyting pretoposesinitial ZF-algebra

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70)

Related Items (8)

Well-foundedness in realizability ⋮ Relating first-order set theories, toposes and categories of classes ⋮ 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 ⋮ CZF and second order arithmetic ⋮ A Brief Introduction to Algebraic Set Theory ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes

Cites Work

• Axiomatizing higher-order Kleene realizability
• Wellfounded trees in categories
• Colimit completions and the effective topos
• Type theories, toposes and constructive set theory: Predicative aspects of AST

This page was built for publication: Algebraic set theory and the effective topos