Let $M$ be the smallest set of ordinals satisfying
- $0\in M$
- $x\in M\implies x+1\in M$
- $S\subseteq M\implies \bigcup S\in M$
What does $M$ look like? Is it all ordinals? Is it all countable ordinals?
Is there a standard notation for $M$?
Let $M$ be the smallest set of ordinals satisfying
What does $M$ look like? Is it all ordinals? Is it all countable ordinals?
Is there a standard notation for $M$?
Copyright © 2021 JogjaFile Inc.