settheorytalks Profile Banner
Set Theory Talks Profile
Set Theory Talks

@settheorytalks

Followers
1K
Following
30
Media
238
Statuses
4K

Aggregating Set Theory Talks worldwide so that you won't have to.

http://t.co/OcK1KxBgvL
Joined March 2011
Don't wanna be here? Send us removal request.
@settheorytalks
Set Theory Talks
@settheorytalks
11 months
A professor emeritus turns 70. He sits by his computer and goes over his mailbox. Suddenly, he finds an email from the old days he served as a journal editor, realizing this paper is still under review. He decides to write to the referee. -->
1
1
6
@BagariaJoan
Joan Bagaria
@BagariaJoan
2 days
The Quanta article on our work on large cardinals made it to their compilation of The Year in Mathematics https://t.co/p5rlRTW3iF via @QuantaMagazine
Tweet card summary image
quantamagazine.org
Explore a shape that can’t pass through itself, a teenage prodigy, and two new kinds of infinity.
1
3
6
@ElliotGlazer
Elliot Glazer
@ElliotGlazer
4 days
"How Platonist is Woodin" - the greatest thread in the history of set theory, scrubbed from the internet after 40 pages of heated debate,
3
9
68
@mathLOb
arXiv math.LO Logic
@mathLOb
22 hours
Hayut, Poveda: The directedness of the Rudin-Keisler order at measurable card... https://t.co/OCoq8ks6Z5 https://t.co/YESF57gcF1
Tweet card summary image
arxiv.org
The manuscript is concerned with the Rudin-Keisler order of ultrafilters on measurable cardinals. The main theorem proved read as follows: Given regular cardinals $λ\leq κ$, the...
0
1
4
@mathLOb
arXiv math.LO Logic
@mathLOb
2 days
de la Rosa, et al.: Properties of Laver forcing associated with a co-ideal express... https://t.co/lp4yISefmj https://t.co/2aevmdYrMG
Tweet card summary image
arxiv.org
We study variants of classical Laver forcing defined from co-ideals and analyze their combinatorial properties in terms of the Katětov order. In particular, we give a Katětov-theoretic...
0
3
3
@settheorytalks
Set Theory Talks
@settheorytalks
2 days
A conference on large cardinals, forcing, and related topics celebrating Menachem Magidor's 80 birthday. University of California, Irvine. February 7-10 2026 https://t.co/HTx7q0oTQ3
0
3
9
@settheorytalks
Set Theory Talks
@settheorytalks
2 days
Topology and its Applications - Special Issue in honor of Istvan Juhasz's 80th birthday https://t.co/yVcCNvs56f
0
1
5
@mathLOb
arXiv math.LO Logic
@mathLOb
3 days
Fischer, Millhouse: Strong Projective Witnesses https://t.co/h9eVdrOUiq https://t.co/ET9tH42374
Tweet card summary image
arxiv.org
We show Shelah's original creature forcing from 1984 strongly preserves tight mad families. In particular, answering questions of Fischer and Friedman and Friedman and Zdomskyy, we show the...
0
2
5
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
slak, et al.: Cardinal invariants of idealized Miller null sets https://t.co/d82efYwB6u https://t.co/0I90W4uOCY
Tweet card summary image
arxiv.org
This paper provides an extensive study of the $\mathscr{I}$-Miller null ideals $M_\mathscr{I}$, $σ$-ideals on the Baire space parametrized by ideals $\mathscr{I}$ on countable sets. These...
0
2
4
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
Lambie-Hanson, Marun: Preservation of some topological properties under forcing https://t.co/S04IdCy2YF https://t.co/zZKyFOah5N
Tweet card summary image
arxiv.org
We add to the theory of preservation of topological properties under forcing. In particular, we answer a question of Gilton and Holshouser in a strong sense, showing that if player II has a...
0
2
5
@DaiskeIkegami
Ikegami Daisuke
@DaiskeIkegami
6 days
新しいホームページを作りました： https://t.co/4NMOxFkwwQ
Tweet card summary image
sites.google.com
Hello! I am an associate professor at the Insitute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University. My research area is mathematical logic especially set theory. Email:...
0
3
9
@mathLOb
arXiv math.LO Logic
@mathLOb
8 days
Patrick Lutz: A Borel graphable equivalence relation with no Borel graphing ... https://t.co/JzKuC5iFvA https://t.co/7KXh5kobK1
Tweet card summary image
arxiv.org
We answer a question of Arant, Kechris and Lutz by showing that there is a Borel graphable equivalence relation with no Borel graphing of diameter less than 3. More specifically, we prove that...
0
2
3
@settheorytalks
Set Theory Talks
@settheorytalks
5 days
One of the world's most remarkable mathematicians Asaf Karagila says AI models are not useful as of today: https://t.co/s4BVtL1tVD
Tweet card summary image
karagila.org
I saw a few papers on arXiv recently that were very clearly prepared by asking ChatGPT or some other GenAI to analyse an idea and write a (...)
15
13
97
@mathLOb
arXiv math.LO Logic
@mathLOb
9 days
Gappo, M\"uller: Long games just beyond fixed countable length https://t.co/j476anXIB1 https://t.co/jmESbhXJAD
Tweet card summary image
arxiv.org
We introduce a new type of game on natural numbers of variable countable length, which can be regarded as a diagonalization of all games of fixed countable length on natural numbers. Building on...
0
6
11
@settheorytalks
Set Theory Talks
@settheorytalks
10 days
A 5-week semester on Gödel’s Program at the Institute of Mathematics of Polish Academy of Sciences May-July, 2026 https://t.co/M5xchHtR6x
Tweet card summary image
sites.google.com
Gödel’s Program
0
2
4
@mathLOb
arXiv math.LO Logic
@mathLOb
12 days
James Atchley, Lior Fishman, Stephen Jackson, Daozheng Liu, Emily Yao: Schmidt's Game and Vitali Sets https://t.co/37HEKYfmBS https://t.co/cuNnDhgF5L
Tweet card summary image
arxiv.org
While many types of non-measurable sets are never $(α, β)$-winning in the sense of Schmidt's game, we show that this is not the case for certain Vitali sets. Our main theorems show that...
0
1
4
@mathLOb
arXiv math.LO Logic
@mathLOb
11 days
Lorenzo Notaro: Open Colorings and Baumgartner's Axiom https://t.co/1bsReJx4Ck https://t.co/wEMYwVlAEI
Tweet card summary image
arxiv.org
We construct a model of $\mathsf{MA_{\aleph_1}}+\mathsf{OCA}_T$ where Baumgartner's Axiom fails, settling a question of Farah. Moreover, in the same model there is an $\aleph_1$-dense set of reals...
0
3
4
@settheorytalks
Set Theory Talks
@settheorytalks
10 days
Alternative title: "Was Sierpiński right? V" https://t.co/wGjdxQLHl9
@mathLOb
arXiv math.LO Logic
@mathLOb
10 days
Saharon Shelah: Consistency of square bracket partition relation https://t.co/3V5rfwDoeH https://t.co/rP7i4OU0f1
0
1
4
@mathLOb
arXiv math.LO Logic
@mathLOb
10 days
Milo\v{s} S. Kurili\'c: Vaught's Conjecture and Theories of Partial Order Admitting a ... https://t.co/PztKIGQ98I https://t.co/YwsfJAFmAq
Tweet card summary image
arxiv.org
A complete theory ${\mathcal T}$ of partial order is an FLD$_1$-theory iff some (equivalently, any) of its models ${\mathbb X}$ admits a finite lexicographic decomposition ${\mathbb X} =\sum...
0
2
5
@mathLOb
arXiv math.LO Logic
@mathLOb
16 days
Yinhe Peng: A ccc indestructible construction with CH https://t.co/PfKUDNF55b https://t.co/XdyBC25Im5
Tweet card summary image
arxiv.org
We introduce a variant of the Kurepa family. We then use one such family to construct a ccc indestructible property associated with a complete coherent Suslin tree $S$. Moreover, in every ccc...
0
2
3
@mathLOb
arXiv math.LO Logic
@mathLOb
16 days
Lukas Schembecker: Isomorphism types of definable (maximal) cofinitary groups https://t.co/3uHozhG5D6 https://t.co/T76MMKCJqu
Tweet card summary image
arxiv.org
Kastermans proved that consistently $\bigoplus_{\aleph_1} \mathbb{Z}_2$ has a cofinitary representation. We present a short proof that $\bigoplus_{\mathfrak{c}} \mathbb{Z}_2$ always has an...
0
1
2