Skip to main content
1 of 6
arsmath
  • 6.9k
  • 3
  • 38
  • 56

Aleph 0 as a large cardinal

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?

arsmath
  • 6.9k
  • 3
  • 38
  • 56