scientific article; zbMATH DE number 2247251

MaRDI QIDQ5718563zbMATH OpenFDO

Authors Nicola Gambino

Publication date 16 January 2006

zbMATH Keywords

algebraic set theorycategories of presheavesconstructive set theoryindependence

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 2247250
• Aspects of predicative algebraic set theory. III: Sheaves
• scientific article; zbMATH DE number 2172973
• scientific article; zbMATH DE number 2222244
• Constructive toposes with countable sums as models of constructive set theory

Cited in

(9)

• Heyting-valued interpretations for constructive set theory
• scientific article; zbMATH DE number 1086714 (Why is no real title available?)
• Constructive toposes with countable sums as models of constructive set theory
• Constructive sheaf models of type theory
• scientific article; zbMATH DE number 2222244 (Why is no real title available?)
• scientific article; zbMATH DE number 2247250 (Why is no real title available?)
• 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 Q5718563)