𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the validation of the sets of axioms in mathematical theories


Publisher
Springer Netherlands
Year
1962
Tongue
English
Weight
31 KB
Volume
13
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the axiom of extensionality in the po
✍ 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

The union axiom in zermelo set theory
✍ Carlos G. GonzΓ‘lez πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 185 KB πŸ‘ 1 views
On the Theories of Triangular Sets
✍ Philippe Aubry; Daniel Lazard; Marc Moreno Maza πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 354 KB

Different notions of triangular sets are presented. The relationship between these notions are studied. The main result is that four different existing notions of good triangular sets are equivalent.