scientific article; zbMATH DE number 3342822
From MaRDI portal
Publication:5619071
zbMath0216.00601MaRDI QIDQ5619071
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the proof-theoretic strength of monotone induction in explicit mathematics, The Galvin-Prikry theorem and set existence axioms, Systems of explicit mathematics with non-constructive \(\mu\)-operator. II, Well ordering principles for iterated \(\Pi^1_1\)-comprehension, IN MEMORIAM: SOLOMON FEFERMAN (1928–2016), Classes and truths in set theory, The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join, Foundations for analysis and proof theory, Systems of explicit mathematics with non-constructive \(\mu\)-operator. I, Saturated models of universal theories, A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection