Logic

Authors and titles for recent submissions

[ total of 26 entries: 1-25 | 26 ]
[ showing 25 entries per page: fewer | more | all ]

[1] arXiv:2605.04934 [pdf, ps, other]: Title: On $\lam$-existence over a predicate

Authors: Alexander Usvyatsov

Subjects: Logic (math.LO)
[2] arXiv:2605.04714 [pdf, ps, other]: Title: On n-distality, n-triviality and hypergraph regularity in NIP theories

Authors: Artem Chernikov, Francis Westhead

Comments: 45 pages

Subjects: Logic (math.LO); Combinatorics (math.CO)
[3] arXiv:2605.04689 [pdf, ps, other]: Title: Continuations and Completeness in Proof-theoretic Semantics

Authors: Tao Gu, David Pym, Eike Ritter, Edmund Robinson

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[4] arXiv:2605.04490 [pdf, ps, other]: Title: Comparing the Effective Content of Subshifts

Authors: Antonio Nakid Cordero, I. Scott

Comments: Accepted to Computability in Europe 2026; 16 pages

Subjects: Logic (math.LO)
[5] arXiv:2605.04404 [pdf, ps, other]: Title: Computable Scott Sentences and the Friedman-Stanley embedding

Authors: David Gonzalez, Julia Knight

Comments: 31 pages

Subjects: Logic (math.LO)

[6] arXiv:2605.03868 [pdf, ps, other]: Title: A Foundation for the Core Mathematician

Authors: David Mumford, Sy-David Friedman

Subjects: Logic (math.LO)
[7] arXiv:2605.03828 [pdf, ps, other]: Title: A Topological Rainbow Ramsey Theorem

Authors: Hannes Jakob, Jing Zhang

Comments: 33 Pages, comments are welcome!

Subjects: Logic (math.LO)
[8] arXiv:2605.03523 [pdf, ps, other]: Title: Free sets, thin sets and rainbows for barriers

Authors: Lorenzo Carlucci, Oriola Gjetaj

Subjects: Logic (math.LO)
[9] arXiv:2605.03126 [pdf, ps, other]: Title: A countable equivalence relation of second projective class not generated by projective functions

Authors: Vladimir Kanovei, Vassily Lyubetsky

Subjects: Logic (math.LO)
[10] arXiv:2605.03066 [pdf, ps, other]: Title: A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees

Authors: Patrizio Cintioli

Comments: 5 pages

Subjects: Logic (math.LO)
[11] arXiv:2605.04038 (cross-list from math.CT) [pdf, ps, other]: Title: Localic Relations with Open Cones

Authors: Nesta van der Schaaf

Comments: 50 pages

Subjects: Category Theory (math.CT); Logic (math.LO)
[12] arXiv:2605.03735 (cross-list from math.GR) [pdf, ps, other]: Title: Solvability of the radical in pseudo-finite groups with the DCC on centralizers up to finite index

Authors: Nadja Hempel, Ulla Karhumäki

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

[13] arXiv:2605.02725 [pdf, ps, other]: Title: More on expressibility of satisfiability in submodels and extensions

Authors: Nikolai L. Poliakov, Denis I. Saveliev

Subjects: Logic (math.LO)
[14] arXiv:2605.01636 [pdf, ps, other]: Title: Inexpressibility in Exp-Minus-Log

Authors: Mark Carney

Comments: 5 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[15] arXiv:2605.02778 (cross-list from math.AG) [pdf, ps, other]: Title: $K$-holomorphic functions with definable real part

Authors: Antonio Carbone, Enrico Savi

Comments: 9 pages

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)
[16] arXiv:2605.02501 (cross-list from cs.IT) [pdf, ps, other]: Title: Computability Limits of Sequential Hypothesis Testing

Authors: Amir Leshem

Comments: 11 pages

Subjects: Information Theory (cs.IT); Logic (math.LO)
[17] arXiv:2605.01442 (cross-list from cs.AI) [pdf, ps, other]: Title: Rethinking Explanations: Formalizing Contrast in Description Logics

Authors: Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo, Balram Tiwari

Comments: Pre-print to the paper accepted at XAI World conference, 2024 (this https URL)

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

[18] arXiv:2605.00697 [pdf, ps, other]: Title: Categoricity without Power

Authors: Jun Le Goh, Chieu-Minh Tran

Subjects: Logic (math.LO)
[19] arXiv:2605.00636 [pdf, ps, other]: Title: Infinite-Exponent Partition Relations on Higher Analogues of the Real Line

Authors: Lyra A. Gardiner, Jonathan Schilhan, Thilo Weinert

Comments: 24 pages, 1 figure

Subjects: Logic (math.LO); Combinatorics (math.CO)
[20] arXiv:2605.00523 [pdf, ps, other]: Title: Intuitionistic Common Knowledge

Authors: Lukas Zenger

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[21] arXiv:2605.00266 [pdf, ps, other]: Title: Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen

Authors: Harald Grobner

Comments: Incorporated the important reference to the work of Pudl\'ak

Subjects: Logic (math.LO)
[22] arXiv:2605.00512 (cross-list from math.NT) [pdf, ps, other]: Title: Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes

Authors: Tomoki Mihara

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

[23] arXiv:2604.28067 [pdf, ps, other]: Title: Hallucination, abstention, and computable inseparability

Authors: Takuma Imamura

Subjects: Logic (math.LO)
[24] arXiv:2604.27816 [pdf, ps, other]: Title: VC-Density in Divisible Oriented Abelian Groups and Their Pairs

Authors: Ebru Nayir, Melissa Özsahakyan

Subjects: Logic (math.LO)
[25] arXiv:2604.27466 [pdf, ps, other]: Title: A note on computable étale spaces

Authors: Matthew de Brecht

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

[ total of 26 entries: 1-25 | 26 ]
[ showing 25 entries per page: fewer | more | all ]