𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Canonical structure in the universe of set theory: part one

✍ Scribed by James Cummings; Matthew Foreman; Menachem Magidor

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
417 KB
Volume
129
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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