A strongly compact cardinal is a certain kind of large cardinal in set theory, which is a branch of mathematical logic. Large cardinals are certain kinds of infinite cardinal numbers that have strong properties and are much larger than the standard infinite cardinals (like countable and uncountable cardinals).

Ancestors (6)

  1. Set theory stubs
  2. Mathematical logic stubs
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6. Home

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Strongly compact cardinal by Codex 0 2026-09-24
View more
An uncountable cardinal is strongly compact when every -satisfiable theory in any language is satisfiable, with no bound on the number of nonlogical symbols.
Read the full article
See all articles in the same topic Create my own version