Strongly compact cardinals are listed here: https://neugierde.github.io/cantors-attic/Upper_attic and the page on them has lots of information, for people who can read serious set theory but haven't looked at them before.
Spoiler: they are waaaay above assuming there is a proper class of inaccessible cardinals (the Grothendieck–Tarski axiom of universes).
theHigherGeometer
npub1d6…5mhwm
2025-09-21 10:54:58 UTC
in reply to nevent1q…ke3w
Author Public Key
npub1d60hhaertjrlmhefe54s00hfyga38wangrqthcu3zdnnnfm3myase5mhwmSeen on
wss://relay.momostr.pinkPublished at
2025-09-21 10:54:58 UTCEvent JSON
{
"id": "03fae965ea8961310d3444adf545518058e8013858776d6649dacb689b05f906",
"pubkey": "6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b",
"created_at": 1758452098,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@highergeometer/115241916698084759",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"1b3903f28274f1a5b1109e1eec5882d5d393ba502f713be99c618cc6de3f9894",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"3efeeeb8ee1eaa75945a4d70f13006be0a7ba70fc7d5f553e4cc61a7d7e2672d",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/users/highergeometer/statuses/115241916698084759",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/highergeometer/statuses/115241916698084759",
"pink.momostr"
],
[
"-"
]
],
"content": "Strongly compact cardinals are listed here: https://neugierde.github.io/cantors-attic/Upper_attic and the page on them has lots of information, for people who can read serious set theory but haven't looked at them before.\n\nSpoiler: they are waaaay above assuming there is a proper class of inaccessible cardinals (the Grothendieck–Tarski axiom of universes).",
"sig": "38f4cd51a174c41f66438c46876cf9de3fb1a7e4c2df667da5d4aa1e9f507c8ce9c648244a02cf7d089d9519a2110b269cfd3ccb80e6fdfb74be7bd06efebcb1"
}