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

Joined April 2013
arXiv math.LO Logic retweeted
Yoshihito Tanaka: An extension of J\'{o}nsson-Tarski representation and model existence in predicate non-normal modal logics arxiv.org/abs/2103.16857 arxiv.org/pdf/2103.16857
1
1
614
Jozef Chaber, Roman Pol: A remark on Fremlin-Miller theorem concerning the Menger property and Michael concentrated sets arxiv.org/abs/2305.10797 arxiv.org/pdf/2305.10797
1
1
1
309
J. Daniel Christensen, Jarl G. Taxerås Flaten: Ext groups in Homotopy Type Theory arxiv.org/abs/2305.09639 arxiv.org/pdf/2305.09639
1
1
3
344
arXiv math.LO Logic retweeted
arXiv math.RT Representation Theory@mathRTb16 May 2023
Mike Prest: Tensor and direct extension of definable subcategories arxiv.org/abs/2305.08678 arxiv.org/pdf/2305.08678
1
3
1
677
Vincent Grandjean, Roger Oliveira: Stereographic compactification and affine bi-Lipschitz homeomorphisms arxiv.org/abs/2305.07469 arxiv.org/pdf/2305.07469
1
1
210
Laurent Bartholdi: The domino problem for hyperbolic groups arxiv.org/abs/2305.06952 arxiv.org/pdf/2305.06952
1
2
247
arXiv math.LO Logic retweeted
Ronald F. Bustamante Medina, Zoé Chatzidakis, Samaria Montenegro: Groups definable in partial differential fields with an automorphism arxiv.org/abs/2104.10632 arxiv.org/pdf/2104.10632