Logic

Authors and titles for recent submissions

[ total of 14 entries: 1-10 | 11-14 ]
[ showing 10 entries per page: fewer | more | all ]

[1] arXiv:2404.17516 [pdf, ps, other]: Title: An order analysis of hyperfinite Borel equivalence relations

Authors: Su Gao, Ming Xiao

Subjects: Logic (math.LO)
[2] arXiv:2404.17322 [pdf, ps, other]: Title: Filtered Boolean powers of finite simple non-abelian Mal'cev algebras

Authors: Peter Mayr, Nik Ruškuc

Subjects: Logic (math.LO); Group Theory (math.GR); Rings and Algebras (math.RA)
[3] arXiv:2404.17295 [pdf, ps, other]: Title: Generalized quantifiers using team semantics

Authors: Fredrik Engström

Subjects: Logic (math.LO)
[4] arXiv:2404.17234 [pdf, ps, other]: Title: Generic differentiability and $P$-minimal groups

Authors: Will Johnson

Comments: 50 pages

Subjects: Logic (math.LO)
[5] arXiv:2404.16971 [pdf, ps, other]: Title: Retractors in local positive logic

Authors: Arturo Rodriguez Fanlo, Ori Segel

Comments: arxiv:2401.03260v1 has been divided in two papers. This is the second part

Subjects: Logic (math.LO)

[6] arXiv:2404.15811 [pdf, other]: Title: Randomness versus superspeedability

Authors: Rupert Hölzl, Philip Janicki, Wolfgang Merkle, Frank Stephan

Subjects: Logic (math.LO)
[7] arXiv:2404.15647 [pdf, ps, other]: Title: Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures

Authors: Masato Fujita

Subjects: Logic (math.LO)
[8] arXiv:2404.15461 [pdf, ps, other]: Title: Modal Semantics for Reasoning with Probability and Uncertainty

Authors: Nino Guallart

Subjects: Logic (math.LO)
[9] arXiv:2404.15443 (cross-list from math.CT) [pdf, ps, other]: Title: The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems

Authors: Wijnand van Woerkom, Benno van den Berg

Subjects: Category Theory (math.CT); Logic (math.LO)

[10] arXiv:2404.15230 [pdf, ps, other]: Title: Distinguishing Internally Club and Approachable on an Infinite Interval

Authors: Hannes Jakob, Maxwell Levine

Subjects: Logic (math.LO)

[ total of 14 entries: 1-10 | 11-14 ]
[ showing 10 entries per page: fewer | more | all ]