Logic

Authors and titles for February 2025

[1] arXiv:2502.00186 [pdf, html, other]

Title: Formalising Propositional Information via Implication Hypergraphs

Vibhu Dalal

Comments: 11 pages, 6 figures

Subjects: Logic (math.LO); Information Theory (cs.IT)

[2] arXiv:2502.00598 [pdf, html, other]

Title: Strong marker sets and applications

Su Gao, Tianhao Wang

Subjects: Logic (math.LO)

[3] arXiv:2502.00827 [pdf, html, other]

Title: A new categorial equivalence for Stone Algebras

Ismael Calomino, Gustavo Pelaitay

Subjects: Logic (math.LO)

[4] arXiv:2502.00984 [pdf, html, other]

Title: An analogue of U-rank for atomic classes

John T. Baldwin, Michael C. Laskowski, Saharon Shelah

Subjects: Logic (math.LO)

[5] arXiv:2502.01082 [pdf, html, other]

Title: Morse functions definable in d-minimal structures

Masato Fujita

Subjects: Logic (math.LO)

[6] arXiv:2502.01646 [pdf, html, other]

Title: More separations of cardinal characteristics of the strong measure zero ideal

Miguel A. Cardona, Miroslav Repický, Saharon Shelah

Comments: 27 pages, 6 figures

Subjects: Logic (math.LO)

[7] arXiv:2502.01650 [pdf, html, other]

Title: Solving infinitary Rubik's cubes

Jack Edward Tisdell

Comments: 29 pages, 4 figures, 2 tables

Subjects: Logic (math.LO); Combinatorics (math.CO)

[8] arXiv:2502.01762 [pdf, html, other]

Title: Tree Properties at Successors of Singulars of Many Cofinalities

William Adkisson

Comments: 11 pages

Subjects: Logic (math.LO)

[9] arXiv:2502.03051 [pdf, html, other]

Title: Expansions and restrictions of structures and theories, their hierarchies

Sergey V. Sudoplatov

Subjects: Logic (math.LO)

[10] arXiv:2502.03432 [pdf, html, other]

Title: A formalization of Borel determinacy in Lean

Sven Manthe

Subjects: Logic (math.LO)

[11] arXiv:2502.03915 [pdf, html, other]

Title: An exposition on the supersimplicity of certain expansions of the additive group of the integers

Amador Martin-Pizarro, Daniel Palacín

Subjects: Logic (math.LO)

[12] arXiv:2502.03978 [pdf, html, other]

Title: The uniform Kruskal theorem over RCA$_0$

Patrick Uftring

Subjects: Logic (math.LO)

[13] arXiv:2502.05525 [pdf, other]

Title: In Memoriam Vadim Anatol'evich Yankov (1935-2024)

Alex Citkin, Ioannis M. Vandoulakis

Comments: 5 pages, 1 picture

Subjects: Logic (math.LO)

[14] arXiv:2502.05733 [pdf, html, other]

Title: On definable J-sets

Zhentao Zhang

Subjects: Logic (math.LO)

[15] arXiv:2502.05774 [pdf, html, other]

Title: Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)

Corrado Böhm, Chun Tian

Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL)

[16] arXiv:2502.05816 [pdf, html, other]

Title: First-Order Intuitionistic Linear Logic and Hypergraph Languages

Tikhon Pshenitsyn

Comments: Accepted for presentation at ICALP 2025

Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL)

[17] arXiv:2502.06350 [pdf, other]

Title: Foulis quantales and complete orthomodular lattices

Michal Botur, Jan Paseka, Richard Smolka

Comments: arXiv admin note: text overlap with arXiv:2501.12338

Subjects: Logic (math.LO)

[18] arXiv:2502.06596 [pdf, html, other]

Title: From real analysis to the sorites paradox via Reverse Mathematics

Walter Dean, Sam Sanders

Comments: 23 pages

Subjects: Logic (math.LO); History and Overview (math.HO)

[19] arXiv:2502.06621 [pdf, html, other]

Title: Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction

Michael Pinsker, Jakub Rydval, Moritz Schöbi, Christoph Spiess

Comments: 32 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[20] arXiv:2502.06639 [pdf, other]

Title: Fragments of arithmetic and cyclic proofs

Lev D. Beklemishev, Daniyar S. Shamkanov, Ivan N. Smirnov

Comments: 24 pages

Subjects: Logic (math.LO)

[21] arXiv:2502.08163 [pdf, html, other]

Title: The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields

Yatir Halevi, Assaf Hasson, Ya'acov Peterzil

Subjects: Logic (math.LO)

[22] arXiv:2502.08257 [pdf, html, other]

Title: The external version of a subclassical logic

Massimiliano Carrara, Michele Pra Baldi

Subjects: Logic (math.LO)

[23] arXiv:2502.08530 [pdf, html, other]

Title: Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero

Dicle Mutlu, Paul Z. Wang

Subjects: Logic (math.LO)

[24] arXiv:2502.08911 [pdf, other]

Title: Linear Logic and the Hilbert Scheme

William Troiani, Daniel Murfet

Subjects: Logic (math.LO); Algebraic Geometry (math.AG)

[25] arXiv:2502.09109 [pdf, html, other]

Title: On a Question of Hamkins'

Albert Visser

Subjects: Logic (math.LO)

[26] arXiv:2502.09451 [pdf, html, other]

Title: Notes on ultrafilter extensions of almost bounded structures

Zalán Molnár

Subjects: Logic (math.LO)

[27] arXiv:2502.09456 [pdf, html, other]

Title: A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic

Amirhossein Akbar Tabatabai, Majid Alizadeh, Alireza Mahmoudian

Comments: 41 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[28] arXiv:2502.09784 [pdf, html, other]

Title: On the Constructive Theory of Jordan Curves

Douglas S. Bridges

Subjects: Logic (math.LO)

[29] arXiv:2502.09881 [pdf, html, other]

Title: Model Theory of Homogeneous D-sets

Felipe Estrada, John Goodrick

Comments: 33 pages, 2 figures

Subjects: Logic (math.LO)

[30] arXiv:2502.10029 [pdf, html, other]

Title: Weak Baumgartner axioms and universal spaces

Corey Bacal Switzer

Comments: 20 pages, submitted. Second version incorporates several recommendations from anonymous referees. In particular the terminology of "hating" etc has been changed

Subjects: Logic (math.LO); General Topology (math.GN)

[31] arXiv:2502.10073 [pdf, html, other]

Title: Rigidity of Higson coronas

Alessandro Vignati

Comments: 25 pages

Subjects: Logic (math.LO); Metric Geometry (math.MG); Operator Algebras (math.OA)

[32] arXiv:2502.10126 [pdf, html, other]

Title: Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras

Marko Stanković, Miroslav Ćirić, Jelena Ignjatović

Comments: 23 pages, 44 references

Journal-ref: Journal of Multiple-Valued Logic and Soft Computing, 39(2-4), 341-379 (2022)

Subjects: Logic (math.LO)

[33] arXiv:2502.11579 [pdf, html, other]

Title: Walks along a weak square sequence and the non-semiproperness of Namba forcings

Kenta Tsukuura

Subjects: Logic (math.LO)

[34] arXiv:2502.13667 [pdf, html, other]

Title: Model Theory of Generic Vector Space Endomorphisms

Leon Chini

Comments: 40 pages

Subjects: Logic (math.LO)

[35] arXiv:2502.15347 [pdf, html, other]

Title: From descriptive to distributed

Jan Grebík, Zoltán Vidnyánszky

Subjects: Logic (math.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Combinatorics (math.CO)

[36] arXiv:2502.15492 [pdf, html, other]

Title: Invariants for metrisable locally compact Boolean spaces

Andrew B. Apps

Comments: 32 pages

Subjects: Logic (math.LO); General Topology (math.GN); Rings and Algebras (math.RA)

[37] arXiv:2502.16625 [pdf, html, other]

Title: On a problem of Erdos and Hajnal

Shimon Garti, Yair Hayut, Saharon Shelah

Subjects: Logic (math.LO); Combinatorics (math.CO)

[38] arXiv:2502.16695 [pdf, html, other]

Title: Embeddings into the generic poset

Aleksandra Kwiatkowska, Rob Sullivan, Jeroen Winkel

Comments: 16 pages. Minor formatting changes from first version

Subjects: Logic (math.LO)

[39] arXiv:2502.17242 [pdf, html, other]

Title: An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property

Zhicheng Chen

Subjects: Logic (math.LO)

[40] arXiv:2502.17511 [pdf, html, other]

Title: Game of grounds

Davide Catta, Antonio Piccolomini d'Aragona

Subjects: Logic (math.LO)

[41] arXiv:2502.17539 [pdf, html, other]

Title: Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs

Christine Gaßner

Comments: 36 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[42] arXiv:2502.18259 [pdf, html, other]

Title: Generalization of terms via universal algebra

Tommaso Flaminio, Sara Ugolini

Subjects: Logic (math.LO)

[43] arXiv:2502.18721 [pdf, html, other]

Title: Nonvaluational ordered Abelian groups of finite burden

Masato Fujita

Subjects: Logic (math.LO)

[44] arXiv:2502.19060 [pdf, html, other]

Title: Intuitionistic modal logics: a minimal setting

Philippe Balbiani, Çigdem Gencer

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[45] arXiv:2502.19863 [pdf, html, other]

Title: The Ax-Kochen-Ershov principles via the higher valued hyperfield

Junguk Lee

Subjects: Logic (math.LO)

[46] arXiv:2502.20236 [pdf, html, other]

Title: On the existence property over a predicate

Alexander Usvyatsov

Subjects: Logic (math.LO)

[47] arXiv:2502.20510 [pdf, html, other]

Title: A model of the Axiom of Determinacy in which every set of reals is universally Baire

Paul B. Larson, Grigor Sargsyan, Trevor Wilson

Journal-ref: Forum of Mathematics, Sigma 13 (2025) e94

Subjects: Logic (math.LO)

[48] arXiv:2502.20517 [pdf, html, other]

Title: Abelian congruences and similarity in varieties with a weak difference term

Ross Willard

Comments: 47 pages, 2 figures

Subjects: Logic (math.LO)

[49] arXiv:2502.20751 [pdf, html, other]

Title: Terminating Hybrid Tableaus for Ordered Models

Yuki Nishimura

Comments: 28 pages, 9 figures

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[50] arXiv:2502.20887 [pdf, html, other]

Title: A note on uniform continuity of monotone functions

Roman Pol, Piotr Zakrzewski, Lyubomyr Zdomskyy

Subjects: Logic (math.LO); General Topology (math.GN)

[51] arXiv:2502.21307 [pdf, other]

Title: Duality Theory for Bounded Lattices: A Comparative Study

Guram Bezhanishvili, Luca Carai, Patrick Morandi

Subjects: Logic (math.LO)

[52] arXiv:2502.00892 (cross-list from cs.LO) [pdf, html, other]

Title: A declarative approach to specifying distributed algorithms using three-valued modal logic

Murdoch J. Gabbay, Luca Zanolini

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[53] arXiv:2502.01581 (cross-list from math.GR) [pdf, other]

Title: Almost homomorphisms and measurable cocycles

Christian Rosendal

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

[54] arXiv:2502.03071 (cross-list from math.AG) [pdf, html, other]

Title: Hodge theory and o-minimality at CIRM

Gregorio Baldi

Comments: Lecture notes for a mini-course during the CIRM-SMF program (15-19 Jan, Luminy, France, 2024). First version, comments are welcome!

Subjects: Algebraic Geometry (math.AG); Logic (math.LO); Number Theory (math.NT)

[55] arXiv:2502.05096 (cross-list from math.CT) [pdf, other]

Title: Presentation of finite Reedy categories as localizations of finite direct categories

Genki Sato

Comments: 68 pages; .bbl file compatible only with TL2023

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

[56] arXiv:2502.07347 (cross-list from cs.AI) [pdf, html, other]

Title: Coarse Set Theory for AI Ethics and Decision-Making: A Mathematical Framework for Granular Evaluations

Takashi Izumo

Comments: 28 pages, 2 figures

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Logic (math.LO); Probability (math.PR)

[57] arXiv:2502.07607 (cross-list from math.AG) [pdf, html, other]

Title: The Difference Kapranov Theorem

Saba Aliyari

Comments: 41 pages, Derived from the author's PhD thesis

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

[58] arXiv:2502.07817 (cross-list from cs.AI) [pdf, html, other]

Title: Temporal Model On Quantum Logic

Francesco D'Agostino

Comments: Re-formulation of the same concepts

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO); Quantum Physics (quant-ph)

[59] arXiv:2502.08497 (cross-list from cs.LO) [pdf, other]

Title: Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics

George Kaye

Comments: PhD thesis, 272 pages

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Logic (math.LO)

[60] arXiv:2502.08506 (cross-list from math.GN) [pdf, html, other]

Title: Relative cofinality of ideals

Adam Marton, Miroslav Repický

Subjects: General Topology (math.GN); Logic (math.LO)

[61] arXiv:2502.09989 (cross-list from cs.LO) [pdf, html, other]

Title: A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues

Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa

Comments: Accepted for the Special Issue "Extended papers from the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023)'' in International Journal of Approximate Reasoning. This is a preprint version and has not yet undergone peer review. The final version is available at this https URL

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC); Logic (math.LO)

[62] arXiv:2502.09995 (cross-list from math.GR) [pdf, html, other]

Title: Fractal dimensions and profinite groups

Elvira Mayordomo, Andre Nies

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

[63] arXiv:2502.11166 (cross-list from math.GR) [pdf, html, other]

Title: Sharply k-transitive actions on ultrahomogeneous structures

J. de la Nuez González, Rob Sullivan

Comments: Early working draft. 42 pages

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

[64] arXiv:2502.14813 (cross-list from math.MG) [pdf, html, other]

Title: On universal-homogeneous hyperbolic graphs and spaces and their isometry groups

Katrin Tent

Subjects: Metric Geometry (math.MG); Logic (math.LO)

[65] arXiv:2502.14978 (cross-list from math.DS) [pdf, html, other]

Title: Generalized Oxtoby subshifts and hyperfiniteness

Konrad Deka, Bo Peng

Subjects: Dynamical Systems (math.DS); Logic (math.LO)

[66] arXiv:2502.17017 (cross-list from cs.CL) [pdf, html, other]

Title: Quantifying Logical Consistency in Transformers via Query-Key Alignment

Eduard Tulchinskii, Anastasia Voznyuk, Laida Kushnareva, Andrei Andriiainen, Irina Piontkovskaya, Evgeny Burnaev, Serguei Barannikov

Subjects: Computation and Language (cs.CL); Information Theory (cs.IT); Machine Learning (cs.LG); Logic (math.LO)

[67] arXiv:2502.17194 (cross-list from math.CA) [pdf, html, other]

Title: Algebraic independence of the solutions of the classical Lotka-Volterra system

Yutong Duan, Joel Nagloo

Comments: 17 pages

Subjects: Classical Analysis and ODEs (math.CA); Algebraic Geometry (math.AG); Logic (math.LO)

[68] arXiv:2502.18319 (cross-list from math.HO) [pdf, other]

Title: History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity

Emanuele Bottazzi, Mikhail G. Katz

Comments: 40 pages. To appear in Antiquitates Mathematicae

Journal-ref: Antiquitates Mathematicae 18 (2024), 105-148

Subjects: History and Overview (math.HO); Logic (math.LO); Probability (math.PR)

[69] arXiv:2502.19311 (cross-list from cs.LO) [pdf, html, other]

Title: Faithful Logic Embeddings in HOL -- Deep and Shallow

Christoph Benzmüller

Comments: Preprint of paper accepted for CADE 2025; 24 pages, 11 figures

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)

[70] arXiv:2502.20355 (cross-list from cs.IT) [pdf, other]

Title: The entropy profiles of a definable set over finite fields

Tobias Boege

Comments: 22 pages, 3 figures

Subjects: Information Theory (cs.IT); Logic (math.LO); Number Theory (math.NT)

[71] arXiv:2502.20428 (cross-list from math.CO) [pdf, html, other]

Title: Aggregation of evaluations without unanimity

Yuval Filmus

Comments: 20 pages; a formally verified version can be found at this https URL

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic (math.LO)

[72] arXiv:2502.20991 (cross-list from cs.LO) [pdf, html, other]

Title: Domains, Information Frames, Rough Sets: An Equivalence of Categories

Dieter Spreen

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)