Logic

Authors and titles for recent submissions

• Thu, 21 May 2020
• Wed, 20 May 2020
• Tue, 19 May 2020
• Mon, 18 May 2020
• Fri, 15 May 2020

Thu, 21 May 2020

[1]  arXiv:2005.10080 [pdf, ps, other]

Title: Proving P!=NP in first-order PA

Authors: Rupert McCallum

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

[2]  arXiv:2005.10058 [pdf, ps, other]

Title: On embedding Lambek calculus into commutative categorial grammars

Authors: Sergey Slavnov

Subjects: Logic (math.LO); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

[3]  arXiv:2005.10167 (cross-list from math.CV) [pdf, ps, other]

Title: Blurrings of the $j$-function

Authors: Vahagn Aslanyan, Jonathan Kirby

Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Logic (math.LO)

Wed, 20 May 2020

[4]  arXiv:2005.09519 [pdf, ps, other]

Title: On the closed Ramsey numbers $R^{cl}(ω+n,3)$

Authors: Burak Kaya, Irmak Saglam

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

[5]  arXiv:2005.09135 (cross-list from math.CT) [pdf, ps, other]

Title: Quillen Model Structures-Based Notions of Locality of Logics over Finite Models

Authors: Hendrick Maia

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

Tue, 19 May 2020

[6]  arXiv:2005.08506 [pdf, other]

Title: Unification in pretabular extensions of S4

Authors: Stepan Igorevich Bashmakov

Comments: 12 pages, 3 figures

Subjects: Logic (math.LO)

[7]  arXiv:2005.07912 [pdf, ps, other]

Title: Cohen real or random real: effect on strong measure zero sets and strongly meager sets

Authors: Miguel A. Cardona

Subjects: Logic (math.LO)

[8]  arXiv:2005.07829 [pdf, ps, other]

Title: On bi-embeddable categoricity of algebraic structures

Authors: Nikolay Bazhenov, Dino Rossegger, Maxim Zubkov

Subjects: Logic (math.LO)

Mon, 18 May 2020

[9]  arXiv:2005.07220 (cross-list from math.GR) [pdf, ps, other]

Title: Acylindrical hyperbolicity and existential closeness

Authors: Simon André

Comments: 7 pages

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

Fri, 15 May 2020

[10]  arXiv:2005.07050 [pdf, ps, other]

Title: On abstract F-systems. A graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks

Authors: Gustavo A. Bodanza

Comments: 16 pages

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

[11]  arXiv:2005.06854 [pdf, ps, other]

Title: Ramsey's theorem for pairs, collection, and proof size

Authors: Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama

Comments: 32 pages

Subjects: Logic (math.LO)

[12]  arXiv:2005.06533 [pdf, ps, other]

Title: Nilpotency and the Hamiltonian property for cancellative residuated lattices

Authors: Almudena Colacito, Constantine Tsinakis

Subjects: Logic (math.LO)

[13]  arXiv:2005.07120 (cross-list from math.GR) [pdf, ps, other]

Title: A model theoretic solution to a problem of László Fuchs

Authors: Marcos Mazari-Armida

Comments: 10 pages

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

[14]  arXiv:2005.06818 (cross-list from cs.FL) [pdf, other]

Title: Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)

Authors: Clément Aubert, Ioana Cristescu

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

[15]  arXiv:2005.06814 (cross-list from cs.DC) [pdf, other]

Title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

Authors: Clément Aubert, Ioana Cristescu (HMS)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

• Thu, 21 May 2020
• Wed, 20 May 2020
• Tue, 19 May 2020
• Mon, 18 May 2020
• Fri, 15 May 2020