Join Our Newsletter

Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools

MLQ

2000

2000

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

Added |
19 Dec 2010 |

Updated |
19 Dec 2010 |

Type |
Journal |

Year |
2000 |

Where |
MLQ |

Authors |
Paul E. Howard, Jean E. Rubin, Adrienne Stanley |

Comments (0)