scientific article; zbMATH DE number 3385609

zbMath0244.02010MaRDI QIDQ5655348

Solomon Feferman

Publication date: 1971

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55)

Related Items

Unnamed Item, The Operational Perspective: Three Routes, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory