scientific article
From MaRDI portal
Publication:3081642
zbMath1261.03149MaRDI QIDQ3081642
Laura Crosilla, Andrea Cantini
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
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 ⋮ Extending constructive operational set theory by impredicative principles ⋮ The Operational Penumbra: Some Ontological Aspects ⋮ Truth and the philosophy of mathematics
This page was built for publication:
