A reduction in the number of primitive ideas of arithmetic

DOI10.2307/2266972zbMath0038.00602OpenAlexW2049978848MaRDI QIDQ5796581

John Myhill

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266972

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

Bibliography of John Myhill ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Some theorems on definability and decidability