Some concepts concerning formal systems of number theory

DOI10.1007/BF01192912zbMath0048.24702MaRDI QIDQ2650392

Georg Kreisel

Publication date: 1952

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Some concepts concerning formal systems of number theory, The substitution method, Mathematical significance of consistency proofs, The Ω-consistency of ramified analysis, Undecidable sentences generated by semantic paradoxes

Cites Work

• Unnamed Item
• Some concepts concerning formal systems of number theory
• On definable sets of positive integers
• Note on arithmetic models for consistent formulae of the predicate calculus
• On the Interpretation of Non-Finitist Proofs--Part I