Logic

Authors and titles for January 2025

[1] arXiv:2501.00496 [pdf, other]

Title: Semi-Substructural Logics \`a 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

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: 26 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_\omega$

Manuel Bodirsky, Bertalan Bodor

Comments: 22 pages plus references

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, other]

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

Wolfgang Bertram (IECL)

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

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 theory of meaning explanation: 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.00451 (cross-list from cs.LO) [pdf, html, other]

Title: Computability of Initial Value Problems

Vasco Brattka, Hendrik Smischliaew

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

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

Title: Information geometry for types in the large-$n$ limit of random matrices

David Jekel

Comments: 56 pages

Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Logic (math.LO); Probability (math.PR)

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

Title: Accessible operators on ultraproducts of Banach spaces

Félix Cabello Sánchez

Comments: 23 pages, 1 figure. The final, corrected version will appear in Extracta Mathematicæ, this https URL

Journal-ref: Extracta Mathematic{\ae}, 2024. https://revista-em.unex.es/index.php/EM

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

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

Title: Bass modules and embeddings into free modules

Anand Pillay, Philipp Rothmaler

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

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

Title: Computability of Brjuno-like functions

Ivan O. Shevchenko, Michael Yampolsky

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

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

Title: Matroid intersection and packing/covering conjectures are true in the class of finitary matroids

Irfan Alam

Comments: Updated with a clarification during the beginning of the proof of Theorem 2.1. Comments and feedback are welcome to help make the work more accessible in future updates

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

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

Title: Adjointable maps between linear orthosets

Jan Paseka, Thomas Vetterlein

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

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

Title: On the axiomatisability of the dual of compact ordered spaces

Marco Abbadini

Comments: PhD thesis, Università degli Studi di Milano, 2021. PhD thesis available also on the repository this https URL. Abstract published in The Bulletin of Symbolic Logic, Volume 27, Number 4, December 2021, DOI:https://doi.org/10.1017/bsl.2021.54

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

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

Title: Probability Trees

Diego A. Mejía, Andrés F. Uribe Zapata

Comments: 44 pages, 6 figures

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

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

Title: Operators in the mind: Jan Lukasiewicz and Polish notation

Eduardo Mizraji

Comments: 9 pages

Subjects: History and Overview (math.HO); Logic (math.LO); Neurons and Cognition (q-bio.NC)

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

Title: Rates of (T-)asymptotic regularity of the generalized Krasnoselskii-Mann-type iteration

Paulo Firmino, Laurentiu Leustean

Subjects: Optimization and Control (math.OC); Logic (math.LO)