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 (13)

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

This page was built for publication: