𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Restricted Collection and Comprehension Schemata in Weak Set Theories

✍ Scribed by Mirosław Kutyłowski

Publisher
John Wiley and Sons
Year
1986
Tongue
English
Weight
274 KB
Volume
32
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The axiom of choice and the law of exclu
The axiom of choice and the law of excluded middle in weak set theories
✍ John L. Bell 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB 👁 1 views

## Abstract A weak form of intuitionistic set theory **WST** lacking the axiom of extensionality is introduced. While **WST** is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up **WST** with moderate extensionality principles or quoti

THE DECISION PROBLEM FOR RESTRICTED UNIV
THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
✍ Franco Parlamento; Alberto Policriti 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 775 KB

## Abstract The still unsettled decision problem for the restricted purely universal formulae ((∀)~0~‐formulae) of the first order set‐theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related