𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Embedding Properties and Anti-Foundation in Set Theory

✍ Scribed by Roland Hinnion

Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
496 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Largest fixed points of set continuous o
Largest fixed points of set continuous operators and Boffa's Anti-Foundation
✍ Hisato Muraki πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 180 KB

In Aczel [1], the existence of largest (written "greatest" in Barwise and Moss [2]) fixed points of set continuous operators is proved assuming the schema version of dependent choices in Zermelo-Fraenkel set theory without the axiom of Foundation. In the present paper, we study whether the existence

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