Note on arithmetic models for consistent formulae of the predicate calculus
From MaRDI portal
Publication:5799429
DOI10.4064/fm-37-1-265-285zbMath0040.00302OpenAlexW986821702MaRDI QIDQ5799429
Publication date: 1950
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213224
Related Items (11)
The dimensions of individual strings and sequences ⋮ On formalization of model-theoretic proofs of Gödel's theorems ⋮ Invertible classes ⋮ Some concepts concerning formal systems of number theory ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees ⋮ 1 — Consistency and faithful interpretations ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Remark on complete interpretations by models ⋮ Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication: Note on arithmetic models for consistent formulae of the predicate calculus
