Logic

Authors and titles for October 2024

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

Title: Weak A2 spaces, the Kastanas game and strategically Ramsey sets

Clement Yung

Subjects: Logic (math.LO)

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

Title: On the structure of balanced residuated partially ordered monoids

Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Přenosil, Melissa Sugimoto

Comments: 18 pages, 2 figures

Subjects: Logic (math.LO)

[3] arXiv:2410.00607 [pdf, other]

Title: An introduction to higher walks

Jeffrey Bergfalk

Comments: 61 pages, 15 figures. Comments welcome

Subjects: Logic (math.LO)

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

Title: The Borel monadic theory of order is decidable

Sven Manthe

Subjects: Logic (math.LO)

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

Title: The Complexity of Proper Homotopy Equivalence of Graphs

Hannah Hoganson, Jenna Zomback

Comments: 13 pages, 12 figures

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

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

Title: On the logical structure of physics

Boris Zilber

Subjects: Logic (math.LO); History and Philosophy of Physics (physics.hist-ph)

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

Title: Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers

Rohan Bahl

Comments: short: 6 pages, 1 table, LaTeX formatted

Subjects: Logic (math.LO)

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

Title: Oligomorphic groups, their automorphism groups, and the complexity of their isomorphism

Gianluca Paolini, Andre Nies

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

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

Title: How to take cats together

Imanol Mozo Carollo

Comments: To appear in Notre Dame Journal of Formal Logic, 25 pages

Subjects: Logic (math.LO)

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

Title: $\aleph_1$-free abelian non-Archimedean Polish groups

Gianluca Paolini, Saharon Shelah

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

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

Title: Congruence Preservation, Lattices and Recognizability

Patrick Cegielski, Serge Grigorieff, Irene Guessarian

Subjects: Logic (math.LO)

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

Title: Trees and spectra of Heyting algebras

Damiano Fornasiere, Tommaso Moraschini

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

[13] arXiv:2410.04326 [pdf, html, other]

Title: Initial Tukey structure below a stable ordered-union ultrafilter

Tan Özalp

Comments: 26 pages

Subjects: Logic (math.LO)

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

Title: Omega-categorical limits of betweenness relations and $D$-sets

Asma Ibrahim Almazaydeh, Samuel Braunfeld, Dugald Macpherson

Comments: 21 pages

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

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

Title: On Ultrapowers and Cohesive Ultrafilters

Tom Benhamou

Comments: (1) We replace the surgery argument with the extender-based Radin forcing technique. (2) We added the result that a positive answer to Kanamori's question requires more than o(κ)=κ^{++}

Subjects: Logic (math.LO)

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

Title: The Galvin-Prikry Theorem in the Weihrauch lattice

Alberto Marcone, Gian Marco Osso

Comments: 41 pages, 2 figures

Subjects: Logic (math.LO)

[17] arXiv:2410.07067 [pdf, other]

Title: Further remarks on the dual negation in team logics

Aleksi Anttila

Comments: 48 pages, 2 figures

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

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

Title: There are (other) ways to negate in propositional team semantics

Fan Yang

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

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

Title: On the Isbell problem

Jonathan Cancino-Manríquez, Jindrich Zapletal

Subjects: Logic (math.LO)

[20] arXiv:2410.08757 [pdf, html, other]

Title: Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines

Tanmay Inamdar, Assaf Rinot

Comments: This is a preliminary preprint. More results are upcoming. For updates, please visit this http URL

Subjects: Logic (math.LO)

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

Title: Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$

Will Brian, Ilijas Farah

Comments: Minor touches. 33 pages

Subjects: Logic (math.LO); Dynamical Systems (math.DS); General Topology (math.GN); Operator Algebras (math.OA)

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

Title: $ω$-consistency for Different Arrays of Quantifiers

Paulo Guilherme Santos

Subjects: Logic (math.LO)

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

Title: Non-forking independence in stable theories

Amador Martin-Pizarro

Subjects: Logic (math.LO)

[24] arXiv:2410.10344 [pdf, other]

Title: Definable henselian valuations on dp-minimal real fields

Lothar Sebastian Krapp, Salma Kuhlmann, Lasse Vogel

Comments: 12 pages

Subjects: Logic (math.LO); Commutative Algebra (math.AC)

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

Title: Improving Cauchy's Theorem in Constructive Analysis

Douglas S. Bridges

Subjects: Logic (math.LO)

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

Title: Proof-theoretic Semantics for First-order Logic

Alexander V. Gheorghiu

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

[27] arXiv:2410.12471 [pdf, other]

Title: Axiomatic theories of supervaluational truth: completing the picture

Pablo Dopico, Daichi Hayashi

Subjects: Logic (math.LO)

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

Title: A well-quasi-order for continuous functions

Raphaël Carroy, Yann Pequignot

Subjects: Logic (math.LO)

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

Title: Dense ideals

Monroe Eskew, Yair Hayut

Subjects: Logic (math.LO)

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

Title: Generic Absoluteness Revisited

Sakaé Fuchino, Takehiko Gappo, Francesco Parente

Subjects: Logic (math.LO)

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

Title: Variants of Solovay reducibility

Ivan Titov

Comments: to be published in the Proceedings of CiE2025

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

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

Title: The Arithmetical Hierarchy: A Realizability-Theoretic Perspective

Takayuki Kihara

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

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

Title: Minimal signatures with undecidability of representability by binary relations

Robin Hirsch, Marcel Jackson, Jaš Šemrl

Subjects: Logic (math.LO)

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

Title: Fundamental sequences based on localization

Gunnar Wilken

Comments: Extended version of the paper published under the same title in the LNCS proceedings of the 20th Conference on Computability in Europe (CiE) 2024, containing complete proofs and generalization to simultaneously defined collapsing functions

Subjects: Logic (math.LO)

[35] arXiv:2410.16328 [pdf, other]

Title: Freely adding one layer of quantifiers to a Boolean doctrine

Marco Abbadini, Francesca Guffanti

Comments: arXiv admin note: substantial text overlap with arXiv:2404.08551

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

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

Title: The theory DCF$_p$A exists for $p>0$

Kai Ino, Omar Leon Sanchez

Subjects: Logic (math.LO)

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

Title: Smullyan's truth and provability

Taishi Kurahashi, Kohei Tominaga

Comments: 22 pages

Subjects: Logic (math.LO)

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

Title: Three forms of the Erdős-Dushnik-Miller Theorem

Paul Howard, Eleftherios Tachtsis

Subjects: Logic (math.LO)

[39] arXiv:2410.18595 [pdf, other]

Title: Almost refinement, reaping, and ultrafilter numbers

Jörg Brendle, Michael Hrušák, Francesco Parente

Subjects: Logic (math.LO)

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

Title: Shelah's conjecture fails for higher cardinalities

Georgios Marangelis (Departement of Mathematics, Aristotle University of Thessaloniki, Greece)

Comments: 26 pages. arXiv admin note: text overlap with arXiv:1705.05821 by other authors

Subjects: Logic (math.LO)

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

Title: Nobody needs equations

Adonai Schlup Sant'Anna

Subjects: Logic (math.LO)

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

Title: Q-points in the Tukey order

Dilip Raghavan

Comments: 5 pages

Subjects: Logic (math.LO)

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

Title: Reflection and Recurrence

Sakaé Fuchino

Subjects: Logic (math.LO)

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

Title: Sequent Calculi for some subintuitionistic Logics

Fatemeh Shirmohammadzadeh Maleki

Comments: 36 pages

Subjects: Logic (math.LO)

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

Title: More conservativity for weak Kőnig's lemma

Anton Freund, Patrick Uftring

Subjects: Logic (math.LO)

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

Title: Hybrid logic for strict betweenness

Rafał Gruszczyński, Zhiguang Zhao

Subjects: Logic (math.LO)

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

Title: Density cardinals

Christina Brech, Jörg Brendle, Márcio Telles

Subjects: Logic (math.LO)

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

Title: Effective weak convergence and tightness of measures in computable Polish spaces

Diego A. Rojas

Comments: arXiv admin note: text overlap with arXiv:2111.02939, arXiv:2106.00086; fixed typos and deleted paragraph on page 13

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

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

Title: On equivalence relations induced by locally compact TSI Polish groups admitting open identity component

Yang Zheng

Subjects: Logic (math.LO)

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

Title: Hausdorff dimension and countable Borel equivalence relations

Andrew Marks, Dino Rossegger, Theodore Slaman

Subjects: Logic (math.LO)

[51] arXiv:2410.22227 [pdf, html, other]

Title: Reverse mathematics of regular countable second countable spaces

Giorgio G. Genovesi

Subjects: Logic (math.LO)

[52] arXiv:2410.22442 [pdf, html, other]

Title: Strongly Minimal Relics of T-convex Fields

Benjamin Castle, Assaf Hasson

Subjects: Logic (math.LO)

[53] arXiv:2410.22712 [pdf, html, other]

Title: On orthogonal types to the value group and residual domination

Pablo Cubides Kovacsics, Silvain Rideau-Kikuchi, Mariana Vicaría

Comments: Comments welcomed

Subjects: Logic (math.LO)

[54] arXiv:2410.22933 [pdf, html, other]

Title: Classifying different criteria for learning algebraic structures

Nikolay Bazhenov, Vittorio Cipriani, Sanjay Jain, Luca San Mauro, Frank Stephan

Subjects: Logic (math.LO)

[55] arXiv:2410.22947 [pdf, html, other]

Title: Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

Carlos Martinez-Ranero, Javier Utreras

Comments: 15 pages

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

[56] arXiv:2410.23276 [pdf, html, other]

Title: AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic

Christine Gaßner

Comments: 25 pages

Subjects: Logic (math.LO)

[57] arXiv:2410.23442 [pdf, other]

Title: Etale algebras over finite Heyting algebras

Kuznetsov Evgeny

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

[58] arXiv:2410.23664 [pdf, other]

Title: Duality for distributive and implicative semi-lattices

Guram Bezhanishvili, Ramon Jansana

Subjects: Logic (math.LO)

[59] arXiv:2410.23967 [pdf, html, other]

Title: $Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class

Will Boney

Subjects: Logic (math.LO)

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

Title: On Equational Noetherianity of Colorable Hierarchically Hyperbolic Groups

Ohana Barak

Comments: 37 pages, 2 figures

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

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

Title: Periods in Families and Derivatives of Period Maps

Ben Bakker, Jonathan Pila, Jacob Tsimerman

Comments: 17 pages, comments welcome!

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

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

Title: Topological Erdős similarity conjecture and strong measure zero sets

Yeonwook Jung, Chun-Kit Lai

Subjects: Classical Analysis and ODEs (math.CA); Logic (math.LO); Metric Geometry (math.MG)

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

Title: Unitary Representations of the Isometry Groups of Urysohn Spaces

Rémi Barritault, Colin Jahel, Matthieu Joseph

Subjects: Group Theory (math.GR); Dynamical Systems (math.DS); Logic (math.LO); Representation Theory (math.RT)

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

Title: First-order definability of Darmon points in number fields

Juan Pablo De Rasis, Hunter Handley

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

[65] arXiv:2410.03485 (cross-list from math.NT) [pdf, other]

Title: Hilbert's Tenth Problem for some Noncommutative Rings

A. Eggink

Comments: 20 pages, 0 figures

Subjects: Number Theory (math.NT); Logic (math.LO); Rings and Algebras (math.RA)

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

Title: Extended multi-adjoint logic programming

M. Eugenia Cornejo, David Lobo, Jesús Medina

Journal-ref: Fuzzy Sets and Systems 388 (2020) 124-145

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

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

Title: Equations in wreath products

Laurent Bartholdi, Ruiwen Dong, Leon Pernak, Jan Philipp Wächter

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

[68] arXiv:2410.05529 (cross-list from math.OA) [pdf, html, other]

Title: Elementary equivalence and disintegration of tracial von Neumann algebras

David Gao, David Jekel

Comments: 34 pages; v2 updated citations and minor edits

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

[69] arXiv:2410.05921 (cross-list from math.AC) [pdf, html, other]

Title: Bridging Meadows and Sheaves

João Dias, Bruno Dinis, Pedro Macias Marques

Subjects: Commutative Algebra (math.AC); Logic (math.LO); Rings and Algebras (math.RA)

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

Title: The pseudometric topology induced by upper asymptotic density

Jonathan M. Keith

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

[71] arXiv:2410.06588 (cross-list from physics.hist-ph) [pdf, html, other]

Title: Distribution can be Dropped: Reply to Rumfitt

Iulian D. Toader

Comments: 10p. The paper responds to an argument in chapter 6.5 of Rumfitt's 2015 book, referenced therein. arXiv admin note: substantial text overlap with arXiv:2310.14634

Subjects: History and Philosophy of Physics (physics.hist-ph); Logic (math.LO)

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

Title: Measurability in the Fundamental Theorem of Statistical Learning

Lothar Sebastian Krapp, Laura Wirth

Comments: 42 pages plus appendix

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Logic (math.LO); Probability (math.PR); Machine Learning (stat.ML)

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

Title: Exact Exploration

Andreas Blass, Nachum Dershowitz, Yuri Gurevich

Journal-ref: A shorter version in CSL 2010, 19th EACSL Annual Conference on Computer Science Logic, Springer Lecture Notes in Computer Science 6247, 2010, 140--154

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE); Logic (math.LO)

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

Title: Elementary equivalence of endomorphism rings and automorphism groups of periodic Abelian groups

Elena Bunina

Comments: 12 pages

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

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

Title: Normalisation for Negative Free Logics without and with Definite Descriptions

Nils Kürbis

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

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

Title: Logical Structure on Inverse Functor Categories

Marcelo Fiore, Chris Kapulkin, Yufeng Li

Comments: 44 pages; comments welcome

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

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

Title: Measurable splittings and the measured group theoretic structure of wreath products

Robin Tucker-Drob, Konrad Wróbel

Comments: 37 pages, 1 figure, minor revisions and corrections

Subjects: Group Theory (math.GR); Dynamical Systems (math.DS); Logic (math.LO); Operator Algebras (math.OA)

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

Title: A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime

Michael J. Lambert

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

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

Title: Zarankiewicz bounds from distal regularity lemma

Mervyn Tong

Comments: 15 pages

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

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

Title: Stable functions and Følner's Theorem

Gabriel Conant

Comments: 9 pages, correction made to discussion in 4.2 and other typos fixed

Subjects: Dynamical Systems (math.DS); Combinatorics (math.CO); Group Theory (math.GR); Logic (math.LO)

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

Title: Axiomatization of Compact Initial Value Problems: Open Properties

André Platzer, Long Qian

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

[82] arXiv:2410.13970 (cross-list from math.FA) [pdf, html, other]

Title: Small-dimensional normed barrelled spaces

Will Brian, Christopher Stuart

Subjects: Functional Analysis (math.FA); Logic (math.LO)

[83] arXiv:2410.15986 (cross-list from math.OC) [pdf, html, other]

Title: A quantitative Robbins-Siegmund theorem

Morenikeji Neri, Thomas Powell

Comments: 30 pages

Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Logic (math.LO); Probability (math.PR)

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

Title: Locally approximating groups of homeomorphisms of manifolds

Thomas Koberda, J. de la Nuez González

Comments: 70 pages, minor updates, submitted version

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

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

Title: Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4

Leni Aniva, Chuyue Sun, Brando Miranda, Clark Barrett, Sanmi Koyejo

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

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

Title: Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic

Sean Walsh

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

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

Title: Limits of sparse hypergraphs

Riley Thornton

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

[88] arXiv:2410.17615 (cross-list from math.CT) [pdf, html, other]

Title: Higher inductive types in $(\infty,1)$-categories

Taichi Uemura

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

[89] arXiv:2410.18347 (cross-list from quant-ph) [pdf, html, other]

Title: Quantum set theory: Equality and order of internal reals defined through different quantum conditionals

Masanao Ozawa

Comments: 46 pages, 1 figure

Subjects: Quantum Physics (quant-ph); Logic (math.LO)

[90] arXiv:2410.21244 (cross-list from math.AT) [pdf, html, other]

Title: Homotopy reflectivity is equivalent to the weak Vopěnka principle

Carles Casacuberta, Javier J. Gutiérrez

Comments: 30 pages

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

[91] arXiv:2410.22060 (cross-list from math.RA) [pdf, html, other]

Title: Minimal operations over permutation groups

Paolo Marimon, Michael Pinsker

Comments: 43 pages, 2 figures, 2 tables

Subjects: Rings and Algebras (math.RA); Group Theory (math.GR); Logic (math.LO)

[92] arXiv:2410.22930 (cross-list from math.PR) [pdf, html, other]

Title: A non-de Finetti theorem for countable Euclidean spaces

Colin Jahel, Pierre Perruchaud

Subjects: Probability (math.PR); Logic (math.LO)

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

Title: Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations

Tim S. Lyon

Comments: Accepted to CSL 2025

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