scientific article; zbMATH DE number 3316033

MaRDI QIDQ5595153zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1968

zbMATH Keywords

algebraic logic, model theory

Cited in

(8)

• Predicative foundations of arithmetic
• The non-constructive operator, fixed point theories with ordinals, and the bar rule
• Reflecting and unfolding
• Well-partial orderings and their maximal order types
• The Operational Perspective: Three Routes
• IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• scientific article; zbMATH DE number 3259043 (Why is no real title available?)

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 Q5595153)