BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
377 users online, thereof 0 logged in

Corollary: Strictly, Well-ordered Sets and Transitive Sets

For every strictly-ordered set $(V,\prec),$ which is a well-order, there is a unique transitive set $(X,\in_X)$ with the following properties:

| | | | | created: 2019-03-07 15:23:59 | modified: 2019-03-07 16:29:47 | by: bookofproofs | references: [8055]

1.Proof: (related to "Strictly, Well-ordered Sets and Transitive Sets")

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[8055] Hoffmann, D.: “Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise”, Hoffmann, D., 2018