Logic

Authors and titles for recent submissions

• Thu, 16 Jan 2025
• Wed, 15 Jan 2025
• Tue, 14 Jan 2025
• Mon, 13 Jan 2025
• Fri, 10 Jan 2025

See today's new changes

Thu, 16 Jan 2025 (showing 2 of 2 entries )

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

Title: Reals in the Matet and Willow Models

Raiean Banerjee

Subjects: Logic (math.LO)

[2] 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)

Wed, 15 Jan 2025 (showing 3 of 3 entries )

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

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

Yusuf Uyar

Subjects: Logic (math.LO)

[4] 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)

[5] 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)

Tue, 14 Jan 2025 (showing 6 of 6 entries )

[6] 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)

[7] 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)

[8] arXiv:2501.06733 [pdf, other]

Title: Notes on Laver Tables

Renrui Qi

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

[9] 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)

[10] 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)

[11] 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)

Mon, 13 Jan 2025 (showing 3 of 3 entries )

[12] 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)

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

Title: Derived Models in PFA

Derek Levinson, Nam Trang

Subjects: Logic (math.LO)

[14] 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)

Fri, 10 Jan 2025 (showing 2 of 2 entries )

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

Title: Continuity in Potential Infinite Models

Matthias Eberl

Subjects: Logic (math.LO)

[16] 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)