scientific article; zbMATH DE number 6307936

zbMath1318.03054MaRDI QIDQ4981451

Rico Zumbrunnen, Gerhard Jäger

Publication date: 24 June 2014

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

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

Related Items (5)

Operational closure and stability ⋮ RELATIVIZING OPERATIONAL SET THEORY ⋮ A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP ⋮ The Operational Perspective: Three Routes ⋮ The Operational Penumbra: Some Ontological Aspects

This page was built for publication: