scientific article; zbMATH DE number 5251035

zbMATH Open1142.03300MaRDI QIDQ5450053FDOQ5450053

Solomon Feferman

Publication date: 19 March 2008

Full work available at URL: http://www.ams.org/notices/200610/fea-feferman.pdf

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40) Recursive ordinals and ordinal notations (03F15)

Cited In (2)

• Formalism and intuition in computability
• Effective versions of local connectivity properties

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