The first infinite cardinal, $\aleph_0$, has many large cardinal properties (or would have many large cardinal properties if not deliberately excluded). For example, if you don't impose uncountability as part of the definition, then $\aleph_0$ would be the first inaccessible cardinal, the first weakly compact cardinal, the first measureable cardinal, and the first strongly compact cardinal. This isn't universally true ($\aleph_0$ is not a Mahlo cardinal), so I'm wondering how widespread of a phenomenon is this. Which large cardinal properties are satisfied by $\aleph_0$, and which are not?
Aleph 0 as a large cardinal
arsmath
- 6.9k
- 3
- 38
- 56