scientific article; zbMATH DE number 3084368

MaRDI QIDQ5823280zbMATH OpenFDO

Authors Georg Kreisel

Publication date 1953

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(10)

• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• A fortuitous year with Leon Henkin
• Leon Henkin the reviewer
• The Henkin sentence
• Reference in arithmetic
• PROVING UNPROVABILITY
• Varieties of self-reference in metamathematics
• Alethic reference
• Henkin sentences and local reflection principles for Rosser provability
• Transductions in arithmetic

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