𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Classification of non-well-founded sets and an application

✍ Scribed by Nitta Takashi; Okada Tomoko; Athanassios Tzouvaras


Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
233 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


Abstract

A complete list of Finsler, Scott and Boffa sets whose transitive closures contain 1, 2 and 3 elements is given. An algorithm for deciding the identity of hereditarily finite Scott sets is presented. Anti‐well‐founded (awf) sets, i. e., non‐well‐founded sets whose all maximal ∈‐paths are circular, are studied. For example they form transitive inner models of ZFC minus foundation and empty set, and they include uncountably many hereditarily finite awf sets. A complete list of Finsler and Boffa awf sets with 2 and 3 elements in their transitive closure is given. Next the existence of infinite descending ∈‐sequences in Aczel universes is shown. Finally a theorem of Ballard and Hrbáček concerning nonstandard Boffa universes of sets is considerably extended.


📜 SIMILAR VOLUMES


Application of Gaschütz' Theorem to rela
✍ John C. Galati 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 80 KB

## Abstract Let __G__ be a finite group other than ℤ~4~ and suppose that __G__ contains a semiregular relative difference set (RDS) relative to a central subgroup __U__. We apply Gaschütz' Theorem from finite group theory to show that if __G__/__U__ has cyclic Sylow subgroups for each prime divisor

An application of non-normal process cap
✍ K. S. Chen; W. L. Pearn 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 68 KB 👁 2 views

Numerous process capability indices, including C p , C pk , C pm , and C pmk , have been proposed to provide measures of process potential and performance. In this paper, we consider some generalizations of these four basic indices to cover non-normal distributions. The proposed generalizations are

An Application of the Orthogonal Series
✍ T. Wojciechowski 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 337 KB 👁 1 views

Guppose we have two general populations n,, z2. Each object belonging to the population q, i = l , 2 is characterized by a random vector X'=(Z, Y), where 2 is discrete and Y is continuous. o n a certain element which is a member of a one of the two populations a realization 3~;) = (z;, @A) of the ra