Share
MLQ
2000

Von Rimscha's Transitivity Conditions

11 years 1 months ago
In Zermelo-Fraenkel set theory with the axiom of choice every set has the same cardinal number as some ordinal. Von Rimscha has weakened this condition to "Every set has the same cardinal number as some transitive set." In set theory without the axiom of choice, we study the deductive strength of this and similar statements introduced by von Rimscha. We shall use the standard notation and terminology of set theory. In particular we recall that a set x is transitive if for every y x and every t y, t x. The transitive closure, TC(x), of a set x is the smallest transitive set z such that x z. In addition, for any set x, we will use TC (x) to stand for TC(x) {x}. Transitive sets play an important role in set theory. The ordinal numbers, for example, are transitive sets and under the assumption of the axiom of choice (which we shall denote by AC) given any set x, there is a bijection from x to some ordinal. In [R] von Rimscha introduces a similar statement, Tr, weakened by re...
Paul E. Howard, Jean E. Rubin, Adrienne Stanley
Related Content
 Added 19 Dec 2010 Updated 19 Dec 2010 Type Journal Year 2000 Where MLQ Authors Paul E. Howard, Jean E. Rubin, Adrienne Stanley