Note on arithmetic models for consistent formulae of the predicate calculus

DOI10.4064/FM-37-1-265-285MaRDI QIDQ5799429zbMATH OpenOpenAlexFDO

Authors Georg Kreisel

Publication date 1950

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/213224

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(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
• Automorphisms of the lattice of _1⁰ classes; perfect thin classes and anc degrees
• Current research on Gödel's incompleteness theorems
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Wittgenstein's diagonal argument: a variation on Cantor and Turing
• The prehistory of the subsystems of second-order arithmetic
• 1 — Consistency and faithful interpretations
• Remark on complete interpretations by models

This page was built for publication: Note on arithmetic models for consistent formulae of the predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5799429)