✦ LIBER ✦

Axioms for Arithmetic

✍ Scribed by Kaczmarz, S.

Book ID: 120100806
Publisher: Oxford University Press
Year: 1932
Tongue: English
Weight: 79 KB
Volume: s1-7
Category: Article
ISSN: 0024-6107
DOI: 10.1112/jlms/s1-7.3.179

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arithmetic Translations of Axiom Systems

Arithmetic Translations of Axiom Systemsby Hao Wang

✍ Review by: Richard Montague 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 289 KB

The Origins of Psychological Axioms of A

The Origins of Psychological Axioms of Arithmetic and Geometry

✍ KAREN WYNN; PAUL BLOOM 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 430 KB

Uniform versions of some axioms of secon

Uniform versions of some axioms of second order arithmetic

✍ Nobuyuki Sakamoto; Takeshi Yamazaki 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 132 KB

## Abstract In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak König's lemma WWKL and Σ^0^~1~ separation are equivalent to (∃^2^) over a suitable base theory of higher order arit

Axioms for actuality

✍ Harold T. Hodes 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 346 KB

Axioms for Randomness

✍ van Lambalgen, M. 📂 Article 📅 1994 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 696 KB

Axioms for Betweenness

✍ McPhee, J. A. 📂 Article 📅 1962 🏛 Oxford University Press 🌐 English ⚖ 128 KB