arXiv math.LO Logic @mathLOb

Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ... arxiv.org/list/math.LO/n… Joined April 2013

Tweets

18K
Followers

1K
Following

0
Likes

0

arXiv math.LO Logic @mathLOb

3 days ago

Maria Sabitova: Computability of dimension groups arxiv.org/abs/2509.04350 arxiv.org/pdf/2509.04350 arxiv.org/html/2509.04350

0 0 5 225 2

arXiv math.LO Logic @mathLOb

3 days ago

Quentin Le Hou\'erou, Ludovic Patey: The reverse mathematics of bounded Ramsey's theorem for pairs arxiv.org/abs/2509.03688 arxiv.org/pdf/2509.03688 arxiv.org/html/2509.03688

0 0 4 236 1

arXiv math.LO Logic @mathLOb

3 days ago

[2025-09-05 Fri (UTC), 2 new articles found for mathLO Logic]

0 0 1 189 0

arXiv math.LO Logic @mathLOb

4 days ago

Erik Walsberg: Derivations and gt-henselian field topologies arxiv.org/abs/2509.02889 arxiv.org/pdf/2509.02889 arxiv.org/html/2509.02889

0 0 3 241 1

arXiv math.LO Logic @mathLOb

4 days ago

Estrada, Onshuus, Rincon: Limit Semigroups with 2 Generators arxiv.org/abs/2509.02838 arxiv.org/pdf/2509.02838 arxiv.org/html/2509.02838

0 0 2 223 1

arXiv math.LO Logic @mathLOb

4 days ago

Merlin Carl: Complexity of Effective Reductions with Ordinal Turing Machines arxiv.org/abs/2509.02766 arxiv.org/pdf/2509.02766 arxiv.org/html/2509.02766

0 1 2 300 2

arXiv math.LO Logic @mathLOb

4 days ago

Faruk Alpay, Taylan Alpay: Nonlinear Continuum of States and Intuitionistic Flows in a Co... arxiv.org/abs/2509.02613 arxiv.org/pdf/2509.02613 arxiv.org/html/2509.02613

0 0 1 209 0

arXiv math.LO Logic @mathLOb

4 days ago

Justin Clarke-Doane: Logical Dependence of Physical Determinism on Set-theoretic Me... arxiv.org/abs/2509.02567 arxiv.org/pdf/2509.02567 arxiv.org/html/2509.02567

0 1 8 389 3

arXiv math.LO Logic @mathLOb

4 days ago

[2025-09-04 Thu (UTC), 5 new articles found for mathLO Logic]

0 0 0 210 0

arXiv math.LO Logic @mathLOb

5 days ago

Ruijun Wang: Borel Kernels in Borel Directed Graphs arxiv.org/abs/2509.01948 arxiv.org/pdf/2509.01948 arxiv.org/html/2509.01948

0 1 3 298 2

arXiv math.LO Logic @mathLOb

5 days ago

Blass, Kulshreshtha: A Gentle Introduction to the Axiom of Choice arxiv.org/abs/2509.01830 arxiv.org/pdf/2509.01830 arxiv.org/html/2509.01830

0 6 6 1K 5

arXiv math.LO Logic @mathLOb

5 days ago

Philani Rodney Majozi: Flatness and Nonforking without the Continuum Hypothesis arxiv.org/abs/2509.01785 arxiv.org/pdf/2509.01785 arxiv.org/html/2509.01785

0 0 3 234 2

arXiv math.LO Logic @mathLOb

5 days ago

: Forcing Axioms and construction schemes arxiv.org/abs/2509.01712 arxiv.org/pdf/2509.01712 arxiv.org/html/2509.01712

0 2 15 497 6

arXiv math.LO Logic @mathLOb

5 days ago

Chapital: There may be an $n$-entangled set but no $n+1$-entangled sets arxiv.org/abs/2509.01029 arxiv.org/pdf/2509.01029 arxiv.org/html/2509.01029

0 1 4 296 1

arXiv math.LO Logic @mathLOb

5 days ago

John D. Clemens: The set of distances in a Polish metric space arxiv.org/abs/2509.01027 arxiv.org/pdf/2509.01027 arxiv.org/html/2509.01027

0 1 3 284 1

arXiv math.LO Logic @mathLOb

5 days ago

Olivier, Olivier, Johan: Toward higher-order infinite time Turing machines: simulationa... arxiv.org/abs/2509.00163 arxiv.org/pdf/2509.00163 arxiv.org/html/2509.00163

0 0 6 267 2

arXiv math.LO Logic @mathLOb

5 days ago

[2025-09-03 Wed (UTC), 7 new articles found for mathLO Logic]

0 0 0 198 0

arXiv math.LO Logic @mathLOb

5 days ago

[2025-09-02 Tue (UTC), no new articles found for mathLO Logic]

0 0 1 222 0

arXiv math.LO Logic @mathLOb

7 days ago

Maryanthe Malliaris, Olga Medrano Mart\'in del Campo, Shay Moran: Epsilon-saturation for stable graphs and Littlestone classes arxiv.org/abs/2508.21807 arxiv.org/pdf/2508.21807 arxiv.org/html/2508.21807

0 0 2 256 1

arXiv math.LO Logic @mathLOb

7 days ago

Marco Abbadini, Daniele Mundici: Unital Specker $\ell$-groups and boolean multispaces arxiv.org/abs/2508.21500 arxiv.org/pdf/2508.21500 arxiv.org/html/2508.21500

0 0 3 239 1

Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

Joel David Hamkins @JDHamkins

25K Followers 280 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

julia🦄 @KamerynJW

6K Followers 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her

Set Theory Talks @settheorytalks

1K Followers 11 Following Aggregating Set Theory Talks worldwide so that you won't have to.

反省会へようこ... @Alwe_Logic

4K Followers 3K Following 学びたい、ことばかり。音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68rYhf

Liam Bright @lastpositivist

62K Followers 4K Following Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]

Andrej Bauer @andrejbauer

7K Followers 147 Following Mathematician, computer scientist, aikidoka

Takayuki Kihara @tri_iro

4K Followers 1K Following 数学の研究ちう。中の人（寝癖）→ https://t.co/mGvwm0oJbl Associate Professor at Nagoya Univ. Mathematics, Logic, Computability Theory

Ikegami Daisuke @DaiskeIkegami

1K Followers 149 Following 数学（特に集合論）やってます。

A doctoral student at @Cornell. Interested in logic (proof theory and set theory). he/him.

Mastodon: @hanuljeon95@mathstodon.xyz

Hanul Jeon @hanuljeon95

556 Followers 297 Following A doctoral student at @Cornell. Interested in logic (proof theory and set theory). he/him. Mastodon: @[email protected]

logician, adj. (pejorative)

I do math that mathematicians think is philosophy ...

and I do philosophy that philosophers think is math ...

Toby Meadows @TobyMeadows

2K Followers 639 Following logician, adj. (pejorative) I do math that mathematicians think is philosophy ... and I do philosophy that philosophers think is math ...

はかり@声音5次�... @mg_toHKR

2K Followers 1K Following 常在戦場！行住坐臥地獄。今日も元気にR18 付き合っているし同棲もしている。そんな推しカプがいます pixivインスタお悩み相談等へのリンク→https://t.co/kzdAaR5c18

みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるる・げーでるでーす。
アイコンはbing image creatorによるkururu_goedel。
bluesky: https://t.co/Ce43vzSZw1, mathtod: kururu

くるる＠在米中... @kururu_goedel

2K Followers 597 Following みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるる・げーでるでーす。アイコンはbing image creatorによるkururu_goedel。 bluesky: https://t.co/Ce43vzSZw1, mathtod: kururu

Logicienne engagée. Chercheuse, qualifiée professeure des universités et mathématicienne indépendante. Non plus associée : UEA, IHPST, IRIF, NYUParis. ANUBiH.

Mirna Džamonja @MirnaDzamonja

3K Followers 317 Following Logicienne engagée. Chercheuse, qualifiée professeure des universités et mathématicienne indépendante. Non plus associée : UEA, IHPST, IRIF, NYUParis. ANUBiH.

Erin Carmody @uncountableart

641 Followers 414 Following Logic, set theory, art https://t.co/zxvWZRW25Y

ジタさん @fujitapiroc1964

1K Followers 717 Following 酔っ払い

phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

Evan Washington @evanewashington

8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

Research interests: Category Theory, Mathematical Logic, Theoretical Computer Science, Philosophy of Computation.
Mastdon: @metaphusika@mstdn.jp

H. Miyoshi (ALC Japan... @metaphusika

2K Followers 1K Following Research interests: Category Theory, Mathematical Logic, Theoretical Computer Science, Philosophy of Computation. Mastdon: @[email protected]

PMM for DevRel at Intuit. Knows a bit about the history, philosophy, and practices of mathematics, especially set theory. Onions my own.

Jason Chen @JZS_Chen

217 Followers 146 Following PMM for DevRel at Intuit. Knows a bit about the history, philosophy, and practices of mathematics, especially set theory. Onions my own.

Warning: all tweets of mine are either parodies, and/or game of the character limit (twitter 和歌), or link to something else. It should be clear which is which.

Sakaé Fuchino @SakaeFuchino

180 Followers 59 Following Warning: all tweets of mine are either parodies, and/or game of the character limit (twitter 和歌), or link to something else. It should be clear which is which.

神戸大学にて不完全性定理、証明可能性、様相論理などに関する研究をしています（数学基礎論、数理論理学）。 https://t.co/3bboCGZ725 数学における証明と真理（共立出版）好評発売中 https://t.co/JL8pM2vPse

Taishi Kurahashi (倉... @Kurahashi16

681 Followers 86 Following 神戸大学にて不完全性定理、証明可能性、様相論理などに関する研究をしています（数学基礎論、数理論理学）。 https://t.co/3bboCGZ725 数学における証明と真理（共立出版）好評発売中 https://t.co/JL8pM2vPse

くものす @bellestoiles

739 Followers 2K Following 衒学趣味用(B3)/無言フォロー失礼いたします/何度もフォローしたりしてたらすみません

mt2018 @mt201820182018

0 Followers 1 Following

Dominik Stipić @dstipic123

93 Followers 882 Following Interested in our society with broad area of interest.

Philani Majozi @Majozi3Majozi

2 Followers 48 Following Student of Mathematics

黑+黑+黑=陽黑 @Polar38279269

0 Followers 586 Following

--＊ @1_Curiri

112 Followers 2K Following hyperrrrrrrrrcurious

型推栄 @_jj1lis_uec

1K Followers 925 Following 巨人の肩の上に立つ

東京で1番楽しめるインカレサークルを目指しています🙌新設2年目💫偽のイベント告知なし！活動の雰囲気をTikTokで配信中📢 お酒飲めなくても楽しめるサークルです‼️ 1年生から4年生まで幅広く募集中🎓大学.短大.専門.社会人（18〜22歳）問いません♪

インカレサーク... @dpHRvYwHR73uISj

2K Followers 7K Following 東京で1番楽しめるインカレサークルを目指しています🙌新設2年目💫偽のイベント告知なし！活動の雰囲気をTikTokで配信中📢 お酒飲めなくても楽しめるサークルです‼️ 1年生から4年生まで幅広く募集中🎓大学.短大.専門.社会人（18〜22歳）問いません♪

kanamori.69 @kanamori_69

0 Followers 9 Following

OuterOutside @newbynewling

234 Followers 222 Following Let me out, let me in, never let me within reach

Dries Frederickx @Poly_Void

253 Followers 2K Following Current status: NEET. Jack of no traits and definitely master of none.

abc987 @CArth12041

5 Followers 306 Following

G6 @veritypur

0 Followers 1K Following

nathangotsoul @nathangotsoul

261 Followers 646 Following moments of brilliance.

tagscum @tagscum

1 Followers 43 Following forgotten in the innumerable mass of pointless human lives award

dstreett @StreettHeat

18 Followers 326 Following

カナヘビ缶 @kani_kannn

21 Followers 59 Following ぼくはかなへび

أوكبار @uqbar_bayek

228 Followers 277 Following Stat crux dum volvitur orbis.

Den @fab1491899

2 Followers 43 Following

Matu Poros @MatuPoros

25 Followers 163 Following Semanticist/Digital Tohunga Creating Modal Logic Software for Large Language Learning Models. FREE TEMM DOGG.

Oslo-based PhD Student. Venetian born and raised 🦁.

Interested in anything set theory & co.

Yes, that’s my wrist. Yes, that’s permanent. 😎

HONON© @DavideSutto

16 Followers 57 Following Oslo-based PhD Student. Venetian born and raised 🦁. Interested in anything set theory & co. Yes, that’s my wrist. Yes, that’s permanent. 😎

susuaa @susuaa541144

3 Followers 79 Following

fav:model theory, mathematical logic, mathematics, highschool math teaching, basketball, football, shogi(将棋), quoridor, boardgame, delicious food and drinks

anb @anbyk

222 Followers 198 Following fav:model theory, mathematical logic, mathematics, highschool math teaching, basketball, football, shogi(将棋), quoridor, boardgame, delicious food and drinks

Ubaid @ubaidmume

324 Followers 7K Following Students use AI for answers but don't actually learn - I'm fixing that

Paul @yippie227799

0 Followers 30 Following

Alex K @Araxshta

2 Followers 367 Following

吉川哲義 @tetuyosikikkawa

5K Followers 4K Following 歌が好きです鳥が好きですマンガが好きです歌手の方応援してます絵描きさん応援いたします物理学に興味があります

@f_ lipæ @a_peirogon

45 Followers 175 Following Perpetual and encyclopaedic learner. Mathematics, philosophy, CSE, and sometimes physics hobbyist.

perf_daily @jiajua63771

2 Followers 843 Following performance engineer

Ali Berhan Palabıyı... @aliberhann

16 Followers 208 Following Mathematics @UniBonn

Soni Smit @SoniSmit_

141 Followers 1K Following . Learning

Samena Bahleri @Sambahleri

0 Followers 70 Following

人参养荣丸 @DaiyuChiyaole

1 Followers 17 Following

kai jun @kaijun88836545

25 Followers 945 Following

Amy Verbrugge @AmyVrbrugge

341 Followers 689 Following the missing link

leiser.research @LeiserResearch

2 Followers 54 Following

Aravind Bramha @nirvachanam

7 Followers 996 Following Learning across mathematics, physics, and computer science. A mathematician — hopefully one day. Everything else — today.

Greg Bard @gregbard

77 Followers 658 Following Born in Norwalk, CT; lives in Chico, CA. Logician and moral philosopher.

Sākṣī @_syzygy07

12 Followers 88 Following Occasionally halts.

_kinmath_ @kinmath179726

3 Followers 65 Following

Q @chenq0117

3 Followers 57 Following 何もないです

Mistress alina @Mistressal12121

2 Followers 245 Following Am mistress Alina seeking for a serious and discipline sub Slave slut that want to collar dm I am here for you baby 😍😍😍🌎

Undergrad@KAIST
Research interests:
Stochastic Differential Geometry(ricci flow), Complex Geometry(optimal transport) and Symplectic Geometry(hamiltonian) in AI

Hyeon min Yun @hyeonmin_Lona

155 Followers 343 Following Undergrad@KAIST Research interests: Stochastic Differential Geometry(ricci flow), Complex Geometry(optimal transport) and Symplectic Geometry(hamiltonian) in AI

Theoretical physics researcher | Golden Physics Project | Rethinking reality from first principles in the effort to find the final unification of physical law.

Daniel Toupin @DanToupin85

25 Followers 541 Following Theoretical physics researcher | Golden Physics Project | Rethinking reality from first principles in the effort to find the final unification of physical law.

archer @archerfishh

12 Followers 152 Following just reposting things photography architecture cooking ranting

Eric Tchirnhausen @tchirnhaus20039

23 Followers 5K Following Like to try new things you never know; trying to prove all software can be automated 😅 😅 😅 | ML/AI, | C++/Java/Go | GitHub : Dyl777