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]
[8055] Hoffmann, D.: “Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise”, Hoffmann, D., 2018