arXiv math.LO Logic Profile
arXiv math.LO Logic

@mathLOb

Followers
1K
Following
0
Media
0
Statuses
18K

Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...

Joined April 2013
Don't wanna be here? Send us removal request.
@mathLOb
arXiv math.LO Logic
@mathLOb
20 hours
Jana Ma\v{r}\'ikov\'a: A model-thoeretic version of Tarski's theorem
0
2
19
@mathLOb
arXiv math.LO Logic
@mathLOb
20 hours
Alan Dow, Osvaldo Guzm\'an: Ultrafilters in the random real model
0
3
5
@mathLOb
arXiv math.LO Logic
@mathLOb
20 hours
Nik Weaver: Truth and meaningfulness
0
2
8
@mathLOb
arXiv math.LO Logic
@mathLOb
20 hours
[2025-07-14 Mon (UTC), 3 new articles found for mathLO Logic].
0
0
1
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
Petr Naryshkin, Andrea Vaccaro: Hyper-u-amenablity and Hyperfiniteness of Treeable Equivalence Relations
0
0
3
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
Quentin Le Hou\'erou, Ludovic Patey: Ramsey-like theorems for separable permutations
0
0
2
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
Marco Abbadini, Guram Bezhanishvili, Luca Carai: On the lack of colimits in various categories of BAOs and Heyting algebras
0
0
2
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
Hiroshi Sakai, Toshimasa Tanno: Generalized Tukey reducibility between $\sigma$-directed sets
0
1
10
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
Matteo Spadetto: A 2-categorical approach to the semantics of dependent type theory with computation axioms
0
2
3
@mathLOb
arXiv math.LO Logic
@mathLOb
4 days
[2025-07-11 Fri (UTC), 5 new articles found for mathLO Logic].
0
0
1
@mathLOb
arXiv math.LO Logic
@mathLOb
5 days
Gabriel Day: Results on Colored Tree Properties
0
2
6
@mathLOb
arXiv math.LO Logic
@mathLOb
5 days
Yll Buzoku, David. J. Pym: Base-extension Semantics for Intuitionistic Modal Logics
0
2
5
@mathLOb
arXiv math.LO Logic
@mathLOb
5 days
[2025-07-10 Thu (UTC), 2 new articles found for mathLO Logic].
0
0
1
@mathLOb
arXiv math.LO Logic
@mathLOb
6 days
De Berardinis, Ghilardi: A Proof Theory for Profinite Modal Algebras
0
2
4
@mathLOb
arXiv math.LO Logic
@mathLOb
6 days
Bergfalk, Casarosa: Higher limits of wider systems
0
3
5
@mathLOb
arXiv math.LO Logic
@mathLOb
6 days
Justin Young: Permutation Models Arising From Topological Ideals
0
3
7
@mathLOb
arXiv math.LO Logic
@mathLOb
6 days
[2025-07-09 Wed (UTC), 3 new articles found for mathLO Logic].
0
0
1
@mathLOb
arXiv math.LO Logic
@mathLOb
7 days
van Benthem, Icard: Interleaving Logic and Counting
0
0
2
@mathLOb
arXiv math.LO Logic
@mathLOb
7 days
C\'ecilia Pradic: The Myhill isomorphism theorem does not generalize much
0
0
4
@mathLOb
arXiv math.LO Logic
@mathLOb
7 days
Qian Chen: Degree of Kripke-incompleteness of Tense Logics
0
1
8