Logic

Authors and titles for January 2025

[1] arXiv:2501.00496 [pdf, other]

Title: Semi-Substructural Logics à la Lambek

Cheng-Syuan Wan (Department of Software Science, Tallinn University of Technology, Tallinn, Estonia)

Comments: In Proceedings NCL'24, arXiv:2412.20053

Journal-ref: EPTCS 415, 2024, pp. 195-213

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

[2] arXiv:2501.00503 [pdf, other]

Title: Path of pathology

Rafał Filipów, Jacek Tryba

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

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

Title: A choice-free proof of Mal'cev's theorem on quasivarieties

Guozhen Shen

Comments: 5 pages

Journal-ref: Algebra Univers , Volume 86 , Issue 4 , November 2025 , article number 25

Subjects: Logic (math.LO)

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

Title: Green points in the reals

Yilong Zhang

Subjects: Logic (math.LO)

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

Title: Foulis m-semilattices and their modules

Michal Botur, Jan Paseka, Milan Lekár

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

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

Title: Sequent calculus for the subintuitionistic logic ${\sf WF_{N_{2}}} $

Fatemeh Shirmohammadzadeh Maleki

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

Subjects: Logic (math.LO)

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

Title: Encoding Sequences in Intuitionistic Real Algebra

Miklós Erdélyi-Szabó

Comments: 6 pages

Subjects: Logic (math.LO)

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

Title: Collision-resistant hash-shuffles on the reals

George Barmpalias, Xiaoyan Zhang

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

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

Title: Uniqueness of constructible models in continuous logic

James E. Hanson

Comments: 7 pages

Subjects: Logic (math.LO)

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

Title: Any function I can actually write down is measurable, right?

James E. Hanson

Comments: 29 pages, 7 figures, 1 table

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

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

Title: Bowen's Problem 32 and the conjugacy problem for systems with specification

Konrad Deka, Dominik Kwietniak, Bo Peng, Marcin Sabok

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

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

Title: Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals

Azul Fatalini

Comments: 34 pages, 6 figures. Comments are welcome

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

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

Title: A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic

Antonio Piccolomini d'Aragona

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

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

Title: Some results in non-monotonic proof-theoretic semantics

Antonio Piccolomini d'Aragona

Subjects: Logic (math.LO)

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

Title: Structures preserved by primitive actions of $S_ω$

Manuel Bodirsky, Bertalan Bodor

Comments: 27 pages plus references, submitted to LMCS

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

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

Title: $G$-systems and 4E Cognitive Science

Vadim K. Weinstein

Comments: 9 pages, two figures

Subjects: Logic (math.LO)

[17] arXiv:2501.04412 [pdf, html, other]

Title: On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory

Wolfgang Bertram (IECL)

Comments: V2: Sections 1.3.3 and 3.1.1 modified (I thank G{é}rard Lang for indicating to me reference [Alt], added in this version)

Subjects: Logic (math.LO)

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

Title: Categories of orthosets and adjointable maps

Jan Paseka, Thomas Vetterlein

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

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

Title: On distance logics of Euclidean spaces

Gabriel Agnew, Uzias Gutierrez-Hougardy, John Harding, Ilya Shapirovsky, Jackson West

Subjects: Logic (math.LO)

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

Title: Continuity in Potential Infinite Models

Matthias Eberl

Subjects: Logic (math.LO)

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

Title: Derived Models in PFA

Derek Levinson, Nam Trang

Subjects: Logic (math.LO)

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

Title: Complexity of Linear Equations and Infinite Gadgets

Jan Grebík, Zoltán Vidnyánszky

Subjects: Logic (math.LO)

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

Title: A Banach space with $L$-orthogonal sequences but without $L$-orthogonal elements

Antonio Avilés, Gonzalo Martínez-Cervantes, Alejandro Poveda, Luís Sáenz

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

[24] arXiv:2501.06733 [pdf, other]

Title: Notes on Laver Tables

Renrui Qi

Comments: Thanks hyp_cos for finding some typos in the previous version

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

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

Title: Monk Algebras and Representability

Jeremy F. Alm

Comments: 14 pages

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

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

Title: Borel fractional perfect matchings in quasi-transitive amenable graphs

Sam Murray

Comments: 18 pages, 5 figures; corrected reference

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

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

Title: Sundholm's explanation of meaning: logical atavism and the nature of proofs

Antonio Piccolomini d'Aragona

Subjects: Logic (math.LO)

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

Title: A nonsmooth path-connectedness relation in the real plane

Yusuf Uyar

Subjects: Logic (math.LO)

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

Title: Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras

Christopher Eagle, Isaac Goldbring, Timothy McNicholl, Russell Miller

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

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

Title: Reals in the Matet and Willow Models

Raiean Banerjee

Subjects: Logic (math.LO)

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

Title: Justification logics with counterfactual and relevant conditionals

Meghdad Ghari

Subjects: Logic (math.LO)

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

Title: Variants of the chain-antichain principle in reverse mathematics

Noah A. Hughes

Subjects: Logic (math.LO)

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

Title: Residually Constructible Extensions

Pietro Freni, Angus Matthews

Comments: 25 pages, Secondary classes 12J10, 12J15

Subjects: Logic (math.LO)

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

Title: A note on schematic validity and completeness in Prawitz's semantics

Antonio Piccolomini d'Aragona

Subjects: Logic (math.LO)

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

Title: On the number of cofinalities of cuts in ultraproducts of linear orders

Mohammad Golshani

Comments: Not intended for publication

Subjects: Logic (math.LO)

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

Title: Calculi of epistemic grounding based on Prawitz's theory of grounds

Antonio Piccolomini d'Aragona

Subjects: Logic (math.LO)

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

Title: Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Antonio Piccolomini d'Aragona

Subjects: Logic (math.LO)

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

Title: Growing Spines Ad Infinitum

Blaise Boissonneau, Anna De Mase, Franziska Jahnke, Pierre Touchard

Comments: 19 pages. The paper has been amended to recognize priority of a former result

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

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

Title: On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices

Esmaeil Rostami

Subjects: Logic (math.LO)

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

Title: Schnorr Randomness and Effective Bayesian Consistency and Inconsistency

Simon M. Huttegger, Sean Walsh, Francesca Zaffora Blando

Subjects: Logic (math.LO); Statistics Theory (math.ST)

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

Title: Proof-theoretic dilator and intermediate pointclasses

Hanul Jeon

Comments: 46 pages

Subjects: Logic (math.LO)

[42] arXiv:2501.11768 [pdf, other]

Title: Possibility Frames and Forcing for Modal Logic

Wesley H. Holliday

Comments: 155 pages, 24 figures

Journal-ref: The Australasian Journal of Logic, Vol. 22, No. 2, 2025, pp. 44-288

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

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

Title: A dagger kernel category of complete orthomodular lattices

Michal Botur, Jan Paseka, Richard Smolka

Subjects: Logic (math.LO)

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

Title: A short note on model theory of C((t))

Zhentao Zhang

Subjects: Logic (math.LO)

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

Title: An ordinal analysis of CM and its extensions

Shuwei Wang

Subjects: Logic (math.LO)

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

Title: On the learning power of Friedman-Stanley jumps

Vittorio Cipriani, Alberto Marcone, Luca San Mauro

Subjects: Logic (math.LO)

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

Title: Definable Obstruction Theory

Nicholas Meadows

Subjects: Logic (math.LO)

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

Title: Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic

Purbita Jana, Prateek

Subjects: Logic (math.LO)

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

Title: Strong Negation is Definable in 2Int

Hrafn Valtýr Oddsson

Comments: 3 pages

Subjects: Logic (math.LO)

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

Title: The uniqueness of the core model

Benjamin Siskind

Subjects: Logic (math.LO)