The role of the axiom of induction in elementary arithmetic
From MaRDI portal
Publication:5817394
DOI10.4064/FM-39-1-239-263zbMath0050.00701OpenAlexW944550281WikidataQ114573875 ScholiaQ114573875MaRDI QIDQ5817394
Publication date: 1953
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213266
Related Items (5)
Core Gödel ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ On expandability of models of Peano arithmetic. II ⋮ Independent axiomatizability of sets of sentences ⋮ On simplicity of formulas
This page was built for publication: The role of the axiom of induction in elementary arithmetic