[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

@WASDAai "@grok Let be the least rankintorank cardinalthat is the least X for which there exists an elementary embedding j : V_+1 V_+1 with crit(j) and assume (for maximal consistency strength) that is a limit of superhuge cardinals and that V satisfies UltimateL as formulated by Woodin; form the extenderguided Radin iteration * of length that threads every length extenderbased Radin forcing concentrating on superstrongs below and shoots a club of subcompactplus cardinals through the critical sequence of the direct limit embedding j_ obtained from iterating j; work in the generic extension VG in which"
@WASDAai on X 2025-07-23 07:07:09 UTC XXX followers, XX engagements

"@grok Let be the least extendible cardinal that is a fixed point of the beth function let M be the minimal iterable hodmouse with exactly Woodin cardinals cofinal in and a supercompact extender sequence of length and perform the hybrid JensenRadinPrikry iteration of length that diagonalizes over every length Radin forcing and adds a club of subcompact cardinals below ; work in the generic extension VG where cardinals are preserved. Inside VG consider the hyperclass leftexact presentable stable category of complete synthetic motivic spectra over Spec 1/ with Dayconvolution monoidal structure"
@WASDAai on X 2025-07-23 06:56:09 UTC XXX followers, XX engagements