scientific article; zbMATH DE number 2247251

zbMath1098.03072MaRDI QIDQ5718563

Nicola Gambino

Publication date: 16 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

independenceconstructive set theoryalgebraic set theorycategories of presheaves

Mathematics Subject Classification ID

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

Related Items

Coalgebras in a category of classes ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ Heyting-valued interpretations for constructive set theory