✦ LIBER ✦

A note on the Axioms of Restriction and Fundierung

✍ Scribed by Elliott Mendelson

Book ID: 107766330
Publisher: Elsevier Science
Year: 1969
Tongue: English
Weight: 213 KB
Volume: 1
Category: Article
ISSN: 0020-0255
DOI: 10.1016/0020-0255(69)90018-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The axiom of fundierung and the axiom of

The axiom of fundierung and the axiom of choice

✍ Mendelson, Elliott 📂 Article 📅 1958 🏛 Springer-Verlag ⚖ 306 KB

The Axiom of Fundierung and the Axiom of

The Axiom of Fundierung and the Axiom of Choiceby Elliott Mendelson

✍ Review by: Dana Scott 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 120 KB

Note on preference and axioms of choice

✍ Hirofumi Uzawa 📂 Article 📅 1956 🏛 Springer Japan 🌐 English ⚖ 242 KB

Note on a System of Axioms for Geometry

✍ Arthur Richard Schweitzer 📂 Article 📅 1909 🏛 American Mathematical Society 🌐 English ⚖ 210 KB

A Note on the Redundant Axiom of Princip

A Note on the Redundant Axiom of Principia Mathematica

✍ Peter Nidditch 📂 Article 📅 1960 🏛 Oxford University Press 🌐 English ⚖ 211 KB

A Note on Relative Efficiency of Axiom S

A Note on Relative Efficiency of Axiom Systems

✍ Sandra Fontani; Franco Montagna; Andrea Sorbi 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 664 KB

## Abstract We introduce a notion of relative efficiency for axiom systems. Given an axiom system __A__~β~ for a theory __T__ consistent with __S__^1^~2~, we show that the problem of deciding whether an axiom system __A__~α~ for the same theory is more efficient than __A__~β~ is II~2~‐hard. Several