Remembering Ernst Specker (1920--2011)

DOI10.4171/EM/199zbMath1257.01019OpenAlexW2010962116MaRDI QIDQ452476

Johann A. Makowsky, Erwin Engeler, Norbert Hungerbühler

Publication date: 21 September 2012

Published in: Elemente der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4171/em/199

zbMATH Keywords

bibliographybiographyETH Zürich

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• The Specker-Blatter theorem does not hold for quaternary relations
• The Specker-Blatter Theorem Revisited
• Ramsey's theorem and recursion theory