scientific article; zbMATH DE number 5263061

zbMath1166.03031MaRDI QIDQ5457300

Andrea Cantini, Laura Crosilla

Publication date: 14 April 2008

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

zbMATH Keywords

constructive set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Related Items (5)

A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP ⋮ On Feferman's operational set theory \textsf{OST} ⋮ The Operational Perspective: Three Routes ⋮ The Operational Penumbra: Some Ontological Aspects ⋮ Full operational set theory with unbounded existential quantification and power set

This page was built for publication: