✦ LIBER ✦

Peano's Axioms and Models of Arithmeticby Th. Skolem

✍ Scribed by Review by: Solomon Feferman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Logical Background of Arithmeticby T

✍ Review by: H. G. Rice 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 90 KB

Definability and Decision Problems in Ar

✍ Review by: Th. Skolem 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 293 KB

REDUCTION OF AXIOM SYSTEMS WITH AXIOM SC

✍ Th. Skolem 📂 Article 📅 1958 🏛 John Wiley and Sons 🌐 English ⚖ 285 KB

On the Proofs of Independence of the Axi

✍ Review by: Alonzo Church and Nicholas Rescher 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 184 KB

Arrow's Theorem, Weglorz' Models and the

✍ Norbert Brunner; H. Reiju Mihara 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 342 KB 👁 2 views

Recursive Enumeration of Some Classes of

✍ Review by: H. E. Rose 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB