Processing math: 100%

The following two definitions are due to [Andrzej Mostowski][mo] (1913 - 1975) and play a prominent role in the theory of ordinal numbers:

[mo][https://mathshistory.st-andrews.ac.uk/Biographies/Mostowski/]

Definition: Mostowski Function and Collapse

Let V be a set and U be a universal set let R be a well-founded relation defined on it. A function \pi:V\to U defined recursively by \pi(x):=\{\pi(y)\mid y\in V\wedge yRx\} is called the Mostowski function of R. Its image p[V] is called the Mostowski collapse of R.

Examples: 1 2 Motivations: 1 2

  1. Theorem: Mostowski's Theorem

Examples: 1 2
Motivations: 3 4
Proofs: 5 6
Theorems: 7


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Hoffmann, D.: "Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise", Hoffmann, D., 2018