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
## 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
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
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