On the concepts of completeness and interpretation of formal systems
From MaRDI portal
Publication:5817391
DOI10.4064/fm-39-1-103-127zbMath0050.00601OpenAlexW1034255468MaRDI QIDQ5817391
Publication date: 1953
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213277
Related Items (7)
On the metamathematics of the P vs. NP question ⋮ Well-foundedness in realizability ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Delimited control operators prove double-negation shift ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ Remark on complete interpretations by models
This page was built for publication: On the concepts of completeness and interpretation of formal systems