𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz

✍ Scribed by Richard B. White

Publisher
Springer Netherlands
Year
1979
Tongue
English
Weight
879 KB
Volume
8
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Axiom of Choice in Second-Order Pred
The Axiom of Choice in Second-Order Predicate Logic
✍ Christine Gaßner 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in