scientific article; zbMATH DE number 3487445

MaRDI QIDQ4071232zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1974

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Nonclassical and second-order set theories (03E70) Recursive ordinals and ordinal notations (03F15)

Cited in

(8)

• -languages for sets and LOGSPACE computable graph transformers
• The Operational Perspective: Three Routes
• From subsystems of analysis to subsystems of set theory
• Beweistheorie vonKPN
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• A categorical construction of Bachmann–Howard fixed points
• Predicativity and Feferman
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4071232)