scientific article
From MaRDI portal
Publication:3081646
zbMath1244.03165MaRDI QIDQ3081646
Gerhard Jäger, Jürg Krähenbühl
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35)
Related Items
THE COPERNICAN MULTIVERSE OF SETS, Operational closure and stability, A few more dissimilarities between second-order arithmetic and set theory, Classes and truths in set theory, The Operational Perspective: Three Routes, Full and hat inductive definitions are equivalent in NBG, Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives, The Operational Penumbra: Some Ontological Aspects