Logic

Authors and titles for June 2024

[66] arXiv:2406.19901 [pdf, other]

Title: Slalom numbers

Miguel A. Cardona, Viera Gavalova, Diego A. Mejia, Miroslav Repicky, Jaroslav Supina

Subjects: Logic (math.LO)

[67] arXiv:2406.20034 [pdf, html, other]

Title: Tense logics based on posets

Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini

Subjects: Logic (math.LO)

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

Title: Lang-Weil Type Estimates in Finite Difference Fields

Martin Hils, Ehud Hrushovski, Jinhe Ye, Tingxiang Zou

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

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

Title: Existentially closed models and locally zero-dimensional toposes

Mark Kamsma, Joshua Wrigley

Comments: 30 pages

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

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

Title: Continuous Edge Chromatic Numbers of Abelian Group Actions

Su Gao, Ruijun Wang, Tianhao Wang

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

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

Title: Non-trivial copies of N*

Alan Dow

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

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

Title: Two-dimensional Kripke Semantics II: Stability and Completeness

G. A. Kavvos

Comments: Accepted at MFPS 2024

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

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

Title: Foundations of iterated star maps and their use in combinatorics

Mauro Di Nasso, Renling Jin

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

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

Title: A propositional cirquent calculus for computability logic

Giorgi Japaridze

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

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

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

Title: On non-isomorphic universal sofic groups

Vadim Alekseev, Andreas Thom

Comments: 14 pages

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

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

Title: Nested Sequents for Quasi-transitive Modal Logics

Sonia Marin, Paaras Padhiar

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

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

Title: Consistent Update Synthesis via Privatized Beliefs

Thomas Schlögl, Roman Kuznets, Giorgio Cignarale

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

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

Title: Bundles of metric structures as left ultrafunctors

Ali Hamad

Comments: Second version, fixed typos and clarified some proofs

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

[79] arXiv:2406.11223 (cross-list from math.FA) [pdf, other]

Title: Coordinate systems in Banach spaces and lattices

Antonio Avilés, Christian Rosendal, Mitchell A. Taylor, Pedro Tradacete

Comments: A clarification on the coincidence of order basis and sigma-order basis for separable Banach lattices has been included

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

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

Title: Aspects of automatic continuity

Christian Rosendal, Luis Carlos Suarez

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

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

Title: Heritability of K\H{o}nig's Property from finite edge sets

Marc Kaufmann, Dominic van der Zypen

Comments: 8 pages

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

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

Title: Medvedev degrees of subshifts on groups

Sebastián Barbieri, Nicanor Carrasco-Vargas

Comments: 25 pages

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

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

Title: Hilbert's tenth problem for rings of holomorphic functions of bounded order

Hector Pasten

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

[84] arXiv:2406.13529 (cross-list from cs.DM) [pdf, other]

Title: GMSNP and Finite Structures

Santiago Guzmán-Pro

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

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

Title: The strength of the dominance rule

Leszek Aleksander Kołodziejczyk, Neil Thapen

Comments: To appear in the proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)

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

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

Title: Atomic Toposes with Co-Well-Founded Categories of Atoms

Jérémie Marquès

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

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

Title: Logic-based analogical proportions

Christian Antić

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

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

Title: Consistency and independence phenomena involving cellular-Lindelof spaces

Rodrigo Hernández-Gutiérrez, Santi Spadaro

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

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

Title: Sentences over Random Groups I: Existential Sentences

Sobhi Massalha

Comments: 48 pages

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

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

Title: Sentences over Random Groups II: Sentences of Minimal Rank

Sobhi Massalha

Comments: 53 pages

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

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

Title: On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems

David Forsman

Comments: 30 pages

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

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

Title: Deducibility in the full Lambek calculus with weakening is HAck-complete

Vitor Greati, Revantha Ramanayake

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

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

Title: Computable one-way functions on the reals

George Barmpalias, Xiaoyan Zhang

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

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

Title: Dynamic Probability Logic: Decidability & Computability

Somayeh Chopoghloo, Mahdi Heidarpoor, Massoud Pourmahdian

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

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

[95] arXiv:2406.18497 (cross-list from math.AT) [pdf, other]

Title: The equivariant model structure on cartesian cubical sets

Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler

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

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

Title: Intersecting sets in probability spaces and Shelah's classification

Artem Chernikov, Henry Towsner

Comments: 6 pages; to appear in the Proceedings of the 14th Panhellenic Logic Symposium

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

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

Title: Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics

Tim S. Lyon

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

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

Title: On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales

Morenikeji Neri, Thomas Powell

Comments: 43 pages

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