Picture

August ℤ/5ℤ @ModalMetamodel

In logic, there are no morals. L(ℝ) Joined October 2024
  • Tweets
    1K
  • Followers
    900
  • Following
    94
  • Likes
    32K
ModalMetamodel Profile Picture

August ℤ/5ℤ @ModalMetamodel

6 hours ago

🤡

ModalMetamodel Profile Picture

August ℤ/5ℤ @ModalMetamodel

2 days ago

I prove hella shi, I prove like Kurt, She prove π₃(S²) ≅ ℤ, I put that HoTTie in a skirt, Them Martin-Löf hoes tryna flirt, I ain’t intuitionistic, be alert, I take a Cohen real n’ force it hard, ZFC + V = L, got a coanalytic Hamel basis of ℝ, Polytime cut-eliminatin’ Girard.

ModalMetamodel Profile Picture

August ℤ/5ℤ @ModalMetamodel

3 days ago

ZFC, you can hear Löb derivin’, yea, grr, ZFC, we recursively axiomatisin’, SKI, All my logicians, they Skolemisin’, all my set theorists, they premice risin’, 0♯, 0♯, 0♯, L, in this inner model M ⊊ L[0♯], κ’s weakly Mahlo, yea cf(κ) > ℵ₀ (you a ratchet ho), Yea, κ > ℵ₁.

August ℤ/5ℤ retweeted
hanuljeon95 Profile Picture

Hanul Jeon @hanuljeon95

5 days ago

@neostigmine_ 안녕하세요, ZFC도 치킨집 이름이긴 합니다…

ModalMetamodel Profile Picture

August ℤ/5ℤ @ModalMetamodel

6 days ago

Hmm… how would y’all go about demonstrating that you can have a model of ZF(j) with a set X such that |j(X)| = |2^X| (where 2^X and the cardinal equality are taken with respect to V)? This would be a stronger way of establishing Con(NF).

ModalMetamodel Profile Picture

August ℤ/5ℤ @ModalMetamodel

a week ago

Been havin’ ∞-topoi spazzin’ (Sped shi), Lotta type theorists out here frontin’ (Frontin’), Know them homotopy hoes bluffin’ (Nah), They λ-terms wasn’t strongly normalisin’ (Nah), ZFC stay packin’ (Gang), LEM ‘bout that action (LEM), And totin’ univalence jus actin’ (You corny).

Trends for United States

Portland
286 B posts
Brian Kelly
2.942 posts
Nuss
7.909 posts
Ole Miss
15,3 B posts
#NXTNoMercy
10,9 B posts
Jackson Arnold
1.881 posts
Lane Kiffin
3.793 posts
Iowa
107 B posts
#iufb
3.414 posts
Hugh Freeze
1.760 posts
Joe Sloan
#UFCPerth
5.077 posts
Ohio State
12,6 B posts
Clay Holmes
1.651 posts
Heupel
1.090 posts
Oregon
103 B posts
Mississippi State
3.875 posts
Tim Banks
Buckeyes
5.351 posts
Washington
100 B posts

You might like

https://t.co/9qhgzJ69UQ
Elon Musk
@elonmusk
226.7M Followers
Dad, husband, President, citizen.
Barack Obama
@BarackObama
130.1M Followers
Welcome to the official account of Cristiano Ronaldo.
Cristiano Ronaldo
@Cristiano
115.3M Followers
45th & 47th President of the United States of America🇺🇸
Donald J. Trump
@realDonaldTrump
109.4M Followers
@skylrk
Justin Bieber
@justinbieber
107.8M Followers
Rihanna
@rihanna
106.9M Followers
And, baby, that’s show business for you. New album The Life of a Showgirl. Out October 3 ❤️‍🔥
Taylor Swift
@taylorswift13
93.0M Followers
Official NASA account. Exploring the universe, advancing science, and inspiring the next generation of explorers. Verification: https://t.co/8nok3NP4PW
NASA
@NASA
88.0M Followers
MAYHEM, INCLUDING “THE DEAD DANCE”, OUT NOW
Lady Gaga
@ladygaga
81.0M Followers
football is so back
YouTube
@YouTube
78.4M Followers
@SKIMS
Kim Kardashian
@KimKardashian
74.0M Followers
Comedian, talk show host and ice road trucker. My tweets are real, and they’re spectacular.
The Ellen Show
@EllenDeGeneres
73.2M Followers
what's happening?!
X
@X
68.4M Followers
A proud husband and father ❤️
Virat Kohli
@imVkohli
67.8M Followers
Sharing things I'm learning through my foundation work and other interests.
Bill Gates
@BillGates
66.3M Followers
“I Said I Love You First…And You Said It Back” Out Now🖤
Selena Gomez
@selenagomez
64.5M Followers
Breaking news from CNN Digital. Check @cnn for all things CNN, breaking and more.
CNN Breaking News
@cnnbrk
63.6M Followers
It’s our job to #GoThere and tell the most difficult stories. For breaking news, follow @CNNBRK and download the CNN app ➡️ https://t.co/7PQD7o6fLw
CNN
@CNN
63.6M Followers
Filho de Deus, Pai, Feliz e Ousado !
Neymar Jr
@neymarjr
63.6M Followers
Office of the Prime Minister of India
PMO India
@PMOIndia
59.1M Followers