scientific article; zbMATH DE number 922612

zbMath0857.03034MaRDI QIDQ4893132

Solomon Feferman

Publication date: 11 March 1997

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

zbMATH Keywords

large cardinalshigher-order arithmeticsnon-finitist arithmeticaxiom systems for mathematicsaxiomatic version of Moschovakis's generalized recursion theoryBeeson's logic of partial termsconservative extension of PAextension of ramified analysisfull unfoldingfunctional system for ZF set theoryhierarchies of Mahlo cardinalshigher-order set theoryoperational unfoldingunfolding of a subsystem for admissible set theory

Mathematics Subject Classification ID

Large cardinals (03E55) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

A feasible theory of truth over combinatory algebra, Pure patterns of order 2, The Operational Perspective: Three Routes, AXIOMS FOR DETERMINATENESS AND TRUTH, Operational set theory and small large cardinals, Pure \(\Sigma_2\)-elementarity beyond the core, Unfolding Schematic Systems, Feferman on Set Theory: Infinity up on Trial, The unfolding of non-finitist arithmetic, Inaccessibility in constructive set theory and type theory, A note on applicability of the incompleteness theorem to human mind, A Glimpse of $$ \sum_{3} $$-elementarity, The constructive Hilbert program and the limits of Martin-Löf type theory