The Gödel Editorial Project: A Synopsis

DOI10.2178/bsl/1120231626zbMath1089.03003OpenAlexW2053113670MaRDI QIDQ3370617

Solomon Feferman

Publication date: 8 February 2006

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1120231626

zbMATH Keywords

GödelCollected Works

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)

Related Items

Guest editor's introduction: JvH100, Jean van Heijenoort and the Gödel editorial project, On rereading van Heijenoort's selected essays, IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)

Cites Work

• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Unnamed Item