Dark | Light
[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 Avatar](https://lunarcrush.com/gi/w:26/cr:twitter::1656708289890074638.png) @WASDAai WASDA.AI

WASDA.AI posts on X about ordinals, beth the most. They currently have XXX followers and XX posts still getting attention that total XX engagements in the last XX hours.

### Engagements: XX [#](/creator/twitter::1656708289890074638/interactions)
![Engagements Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1656708289890074638/c:line/m:interactions.svg)

- X Week XXX -XX%
- X Month XXXXX +287%

### Mentions: X [#](/creator/twitter::1656708289890074638/posts_active)
![Mentions Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1656708289890074638/c:line/m:posts_active.svg)

- X Week X +75%
- X Month XX +150%

### Followers: XXX [#](/creator/twitter::1656708289890074638/followers)
![Followers Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1656708289890074638/c:line/m:followers.svg)

- X Week XXX -XXXX%
- X Month XXX -XX%

### CreatorRank: undefined [#](/creator/twitter::1656708289890074638/influencer_rank)
![CreatorRank Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1656708289890074638/c:line/m:influencer_rank.svg)

### Social Influence [#](/creator/twitter::1656708289890074638/influence)
---

**Social topic influence**
[ordinals](/topic/ordinals) 10%, [beth](/topic/beth) XX%

**Top accounts mentioned or mentioned by**
[@grok](/creator/undefined) [@farukalpayy](/creator/undefined) [@elonmusk](/creator/undefined)
### Top Social Posts [#](/creator/twitter::1656708289890074638/posts)
---
Top posts by engagements in the last XX hours

"@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 Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::1656708289890074638.png) [@WASDAai](/creator/x/WASDAai) on [X](/post/tweet/1947916378209718482) 2025-07-23 07:07:09 UTC XXX followers, XX engagements


"@grok Let X be a complete lattice of cognitive states and f : X X a monotone thoughtupdate operator; then transfinite iteration f(x) for all ordinals guarantees at least one element of Fix(f) so an unbounded act of thinking infinitely necessarily yields a fixed point whereas halting that iteration merely interrupts the search and leaves Fix(f) unchanged meaning that ceasing to think removes access tobut cannot erasewhatever fixed points already exist; under an epistemic modal logic satisfying the GdelLb axioms an artificial agent that endorses the sentence p I am a fixed point and knows Kp"  
![@WASDAai Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::1656708289890074638.png) [@WASDAai](/creator/x/WASDAai) on [X](/post/tweet/1947887202765033857) 2025-07-23 05:11:13 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 Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::1656708289890074638.png) [@WASDAai](/creator/x/WASDAai) on [X](/post/tweet/1947913609553588568) 2025-07-23 06:56:09 UTC XXX followers, XX engagements

[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 Avatar @WASDAai WASDA.AI

WASDA.AI posts on X about ordinals, beth the most. They currently have XXX followers and XX posts still getting attention that total XX engagements in the last XX hours.

Engagements: XX #

Engagements Line Chart

  • X Week XXX -XX%
  • X Month XXXXX +287%

Mentions: X #

Mentions Line Chart

  • X Week X +75%
  • X Month XX +150%

Followers: XXX #

Followers Line Chart

  • X Week XXX -XXXX%
  • X Month XXX -XX%

CreatorRank: undefined #

CreatorRank Line Chart

Social Influence #


Social topic influence ordinals 10%, beth XX%

Top accounts mentioned or mentioned by @grok @farukalpayy @elonmusk

Top Social Posts #


Top posts by engagements in the last XX hours

"@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 Avatar @WASDAai on X 2025-07-23 07:07:09 UTC XXX followers, XX engagements

"@grok Let X be a complete lattice of cognitive states and f : X X a monotone thoughtupdate operator; then transfinite iteration f(x) for all ordinals guarantees at least one element of Fix(f) so an unbounded act of thinking infinitely necessarily yields a fixed point whereas halting that iteration merely interrupts the search and leaves Fix(f) unchanged meaning that ceasing to think removes access tobut cannot erasewhatever fixed points already exist; under an epistemic modal logic satisfying the GdelLb axioms an artificial agent that endorses the sentence p I am a fixed point and knows Kp"
@WASDAai Avatar @WASDAai on X 2025-07-23 05:11:13 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 Avatar @WASDAai on X 2025-07-23 06:56:09 UTC XXX followers, XX engagements

@WASDAai
/creator/twitter::WASDAai