✍ Scribed by Karl-Heinz Diener; K.-H. Diener
No coin nor oath required. For personal study only.
We will prove in Zermelo‐Fraenkel set theory without axiom of choice that the transitive hull R* of a relation R is not much “bigger” than R itself. As a measure for the size of a relation we introduce the notion of κ^+^‐narrowness using surjective Hartogs numbers rather than the usul injective Hartogs values. The main theorem of this paper states that the transitive hull of a κ^+^‐narrow relation is κ^+^‐narrow. As an immediate corollary we obtain that, for every infinite cardinal κ, the class HC~κ~ of all κ‐hereditary sets is a set with von Neumann rank ϱ(HCκ) ≤ κ^+^. Moreover, ϱ(HCκ) = κ^+^ if and only if κ is singular, otherwise ϱ(HCκ) = κ. The statements of the corollary are well known in the presence of the axiom of choice (AC). To prove them without AC ‐ as carried through here ‐ is, however, much harder. A special case of the corollary (κ = ω~1~, i.e., the class HCω~1~ of all hereditarily countable sets) has been treated independently by T. JECH.
📜 SIMILAR VOLUMES
Let X be a locally finite, connected, growth if and only if X is a strip. infinite, transitive graph. We show that X has linear X(V, E) denotes a graph with vertex-set V(X) and edge-set E(X). Graphs considered in this paper contain neither loops nor mu!tiple edges, AUT(X) denotes the automorphism gr
The effect of a number of tetramethylammonium salts on the equilibria and kinetics of the disorder to order transition in the polysaccharide K-carrageenan have been investigated. Data from the temperature dependence of optical rotation show that anion stabilization of the ordered form follows the ly