𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Concerning the Axioms of Ackermann's Set Theory

✍ Scribed by Wojciech Buszkowski

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
552 KB
Volume
31
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The union axiom in zermelo set theory
The union axiom in zermelo set theory
✍ Carlos G. GonzΓ‘lez πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 185 KB πŸ‘ 1 views
On the axiom of extensionality in the po
On the axiom of extensionality in the positive set theory
✍ Olivier Esser πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 102 KB πŸ‘ 1 views

## Abstract This is a study of the relative interpretability of the axiom of extensionality in the positive set theory. This work has to be considered in the line of works of R. O. Gandy, D. Scott and R. Hinnion who have studied the relative interpretability of the axiom of extensionality in set th

A theory of sets with the negation of th
A theory of sets with the negation of the axiom of infinity
✍ Stefano Baratella; Ruggero Ferro πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 769 KB

## Abstract In this paper we introduce a theory of finite sets FST with a strong negation of the axiom of infinity asserting that every set is provably bijective with a natural number. We study in detail the role of the axioms of Power Set, Choice, Regularity in FST, pointing out the relative depen

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