scientific article; zbMATH DE number 2204757
From MaRDI portal
Publication:5316376
zbMath1095.03061MaRDI QIDQ5316376
Publication date: 12 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
explicit mathematicsnonmonotone inductive definitionspredicativitymetapredicativityimpredicativityMahlo axiomsMahloness
Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15)
Related Items
On the Performance of Axiom Systems, Error and Predicativity, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Operational set theory and small large cardinals, Predicativity and Feferman, A flexible type system for the small Veblen ordinal, Truth and the philosophy of mathematics, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
