Large cardinal: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

28 August 2023

  • curprev 12:4912:49, 28 August 2023RhubarbJayde talk contribs 4,943 bytes +4,943 Created page with "Large cardinals are cardinals typically defined as satisfying certain combinatorial or reflection-type properties. Their existence is asserted by various large cardinal axioms, which are usually unprovable in \( \mathrm{ZFC} \), assuming its consistency. This is because almost all large cardinals, if they exist, are worldly: a worldly cardinal is a \( \kappa \) so that \( V_\kappa \) satisfies ZFC, and thus Gödel's second incompleteness theorem applies. Due to issues..." Tag: Visual edit