A derivation of number theory from ancestral theory

DOI10.2307/2267692zbMath0047.01402OpenAlexW2129133014MaRDI QIDQ5812186

John Myhill

Publication date: 1952

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Why Predicative Sets? ⋮ Analysis in a formal predicative set theory ⋮ Bibliography of John Myhill ⋮ Second-order logic: properties, semantics, and existential commitments ⋮ The middle ground-ancestral logic ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER

Cites Work

• Unnamed Item