Why Nostr? What is Njump?
2024-04-01 05:01:14
in reply to

☃️merry chrimist☃️ on Nostr: MercurialBlack Broke: ignore size issues Woke: large cardinal axiom Bespoke: work in ...


Broke: ignore size issues
Woke: large cardinal axiom
Bespoke: work in vanilla ZFC and juggle cardinalities around everywhere, make sure that every theorem statement in category theory has a cardinality assumption, spend years and decades improving the cardinality bounds
Author Public Key
npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6