We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for recent submissions

[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 25 Apr 2024

[1]  arXiv:2404.15811 [pdf, other]
Title: Randomness versus superspeedability
Subjects: Logic (math.LO)
[2]  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)
[3]  arXiv:2404.15461 [pdf, ps, other]
Title: Modal Semantics for Reasoning with Probability and Uncertainty
Authors: Nino Guallart
Subjects: Logic (math.LO)
[4]  arXiv:2404.15443 (cross-list from math.CT) [pdf, ps, other]
Title: The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
Subjects: Category Theory (math.CT); Logic (math.LO)

Wed, 24 Apr 2024

[5]  arXiv:2404.15230 [pdf, ps, other]
Title: Distinguishing Internally Club and Approachable on an Infinite Interval
Subjects: Logic (math.LO)
[6]  arXiv:2404.14532 [pdf, ps, other]
Title: The class of Krasner hyperfields is not elementary
Subjects: Logic (math.LO)

Tue, 23 Apr 2024

[7]  arXiv:2404.13661 [pdf, other]
Title: Equational theory of ordinals with addition and left multiplication by $ω$
Subjects: Logic (math.LO)
[8]  arXiv:2404.13480 [pdf, ps, other]
Title: Conditional algebras
Subjects: Logic (math.LO)
[9]  arXiv:2404.13608 (cross-list from quant-ph) [pdf, other]
Title: Intuitionistic Quantum Logic Perspective: A New Approach to Natural Revision Theory
Subjects: Quantum Physics (quant-ph); Logic (math.LO)

Mon, 22 Apr 2024

[10]  arXiv:2404.12836 [pdf, ps, other]
Title: Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
Subjects: Logic (math.LO)
[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2404, contact, help  (Access key information)