Logic

New submissions

• New submissions
• Cross-lists
• Replacements

New submissions for Thu, 25 Apr 24

[1]  arXiv:2404.15461 [pdf, ps, other]

Title: Modal Semantics for Reasoning with Probability and Uncertainty

Authors: Nino Guallart

Subjects: Logic (math.LO)

This paper belongs to the field of probabilistic modal logic, focusing on a comparative analysis of two distinct semantics: one rooted in Kripke semantics and the other in neighbourhood semantics. The primary distinction lies in the following: The latter allows us to adequately express belief functions (lower probabilities) over propositions, whereas the former does not. Thus, neighbourhood semantics is more expressive. The main part of the work is a section in which we study the modal equivalence between probabilistic Kripke models and a subclass of belief neighbourhood models, namely additive ones. We study how to obtain modally equivalent structures.

[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)

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a definable set. Basic properties of partition degree are also studied.

[3]  arXiv:2404.15811 [pdf, other]

Title: Randomness versus superspeedability

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

Subjects: Logic (math.LO)

Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that we will refer to as superspeedable from the speedable numbers; for elements of this subclass, acceleration is possible uniformly and to an even higher degree. This new type of benign left-approximations of numbers then integrates itself into a hierarchy of other such notions studied in a growing body of recent work. We add a new perspective to this study by juxtaposing this hierachy with the well-studied hierachy of algorithmic randomness notions.

Cross-lists for Thu, 25 Apr 24

[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

Authors: Wijnand van Woerkom, Benno van den Berg

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

If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this statement as the Frobenius equivalence and in this paper we state and prove an analogical statement for algebraic weak factorisation systems. These algebraic weak factorisation systems are an explicit variant of the more traditional weak factorisation systems in that the factorisation and the lifts are part of the structure of an algebraic weak factorisation system and are not merely required to exist. Our work has been motivated by the categorical semantics of type theory, where the Frobenius equivalence provides a useful tool for constructing dependent function types. We illustrate our ideas using split fibrations of groupoids, which are the backbone of the groupoid model of Hofmann and Streicher.

Replacements for Thu, 25 Apr 24

[5]  arXiv:2306.06471 (replaced) [pdf, ps, other]

Title: Arrow's theorem, ultrafilters, and reverse mathematics

Authors: Benedict Eastaugh

Comments: 23 pages

Subjects: Logic (math.LO)

[6]  arXiv:2310.14474 (replaced) [pdf, ps, other]

Title: Building models in small cardinals in local abstract elementary classes

Authors: Marcos Mazari-Armida, Wentao Yang

Subjects: Logic (math.LO)

[7]  arXiv:2312.09122 (replaced) [pdf, other]

Title: Whitehead's problem and condensed mathematics

Authors: Jeffrey Bergfalk, Chris Lambie-Hanson, Jan Šaroch

Comments: 40 pages

Subjects: Logic (math.LO); Group Theory (math.GR)

[8]  arXiv:2403.14900 (replaced) [pdf, ps, other]

Title: Splitting differential equations using Galois theory

Authors: Christine Eagles, Léo Jimenez

Comments: 39 pages. The characterization of splitting given in the previous version (Theorem A) had a gap in its proof. We fix the proof using a mild additional assumption. The new characterization is now given in Theorem B. Other minor changes

Subjects: Logic (math.LO)

• New submissions
• Cross-lists
• Replacements