Rank in set theory without foundation
Die Verfasser betrachten die Mengentheorie, in der das Fundierungsaxiom nicht gültig ist, statt dessen aber das sogenannte schwache Fundierungsaxiom. Das bedeutet, dass Zyklen in der Form \(x_1\in x_2\in\cdots\in x_n\in x_1\) nicht existieren, dageben aber regressive unendliche Folgen \(\cdots x_n\in\cdots\in x_3\in x_2\in x_1\). Es wird bewiesen, dass diese Theorie ein Modell hat. Weiter wird bewiesen, dass man in dieser Theorie nicht den Begriff des Ranges der Menge definieren kann, so dass alle Ränge von Mengen linear angeordnet wären und der Rang einer beliebigen Menge den Rängen aller ihrer Elemente folgt.
This page was built for publication: Rank in set theory without foundation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1306799)
