Logic

Authors and titles for May 2020

[1] arXiv:2005.00063 [pdf, other]

Title: Structure theorem for i-minimal expansions of the real additive ordered group

Alex Savatovsky

Subjects: Logic (math.LO)

[2] arXiv:2005.00404 [pdf, other]

Title: Complexity of the Infinitary Lambek Calculus with Kleene Star

Stepan Kuznetsov

Comments: Manuscript accepted to the Review of Symbolic Logic. An updated version will be published by Cambridge University Press

Journal-ref: The Review of Symbolic Logic 14 (2021) 946-972

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

[3] arXiv:2005.00520 [pdf, other]

Title: Foundation ranks and supersimplicity

Santiago Cárdenas-Martín, Rafel Farré

Subjects: Logic (math.LO)

[4] arXiv:2005.00645 [pdf, other]

Title: Most simple extensions of $\mathsf{FL_e}$ are undecidable

Nikolaos Galatos, Gavin St. John

Comments: 45 pages

Subjects: Logic (math.LO)

[5] arXiv:2005.01054 [pdf, other]

Title: KF, PKF, and Reinhardt's Program

Luca Castaldo, Johannes Stern

Subjects: Logic (math.LO)

[6] arXiv:2005.01135 [pdf, other]

Title: Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions

Daniel Rogozin

Comments: This paper is to appear in Journal of Logic and Computation. this https URL

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

[7] arXiv:2005.01184 [pdf, other]

Title: Algebraic classifications for fragments of first-order logic and beyond

Reijo Jaakkola, Antti Kuusisto

Comments: 36 pages, extended version of the CSL 2023 paper "Complexity classifications via algebraic logic," updates the earlier versions

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

[8] arXiv:2005.01563 [pdf, other]

Title: Brouwer fixed point theorem as a corollary of Lawvere

Rupert McCallum

Subjects: Logic (math.LO)

[9] arXiv:2005.01875 [pdf, other]

Title: Topological Ramsey spaces of equivalence relations and a dual Ramsey theorem for countable ordinals

Jamal K. Kawach, Stevo Todorcevic

Comments: 18 pages. To appear in Adv. Math

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

[10] arXiv:2005.02363 [pdf, other]

Title: Stably embedded submodels of Henselian valued fields

Pierre Touchard

Subjects: Logic (math.LO)

[11] arXiv:2005.03376 [pdf, other]

Title: Type space functors and interpretations in positive logic

Mark Kamsma

Comments: 23 pages

Journal-ref: Archive for Mathematical Logic, 62:1-28, 2022

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

[12] arXiv:2005.04388 [pdf, other]

Title: Basic Topological Concepts and a Construction of Real Numbers in Alternative Set Theory

Kiri Sakahara, Takashi Sato

Comments: 17 pages

Subjects: Logic (math.LO)

[13] arXiv:2005.04922 [pdf, other]

Title: A General Verification for Functional Completeness by Abstract Operators

Yang Tian

Comments: Under the processing of Annals of Pure and Applied Logic

Subjects: Logic (math.LO)

[14] arXiv:2005.04951 [pdf, other]

Title: Formal Mathematical Systems including a Structural Induction Principle

Matthias Kunik

Comments: We only did necessary changes in order to preserve the character of the original work. "Further results and examples for formal mathematical systems with structural induction" is available under the link arXiv:2008.07385. 70 pages, 2 figures

Subjects: Logic (math.LO)

[15] arXiv:2005.05794 [pdf, other]

Title: Parametrised Functional Interpretations

Bruno Dinis, Paulo Oliva

Subjects: Logic (math.LO)

[16] arXiv:2005.06533 [pdf, other]

Title: Nilpotency and the Hamiltonian property for cancellative residuated lattices

Almudena Colacito, Constantine Tsinakis

Subjects: Logic (math.LO)

[17] arXiv:2005.06854 [pdf, other]

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

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

Comments: 33 pages. Corrected definition of forcing in Section 4, with appropriate modifications to the argument. Minor editorial changes throughout the text

Subjects: Logic (math.LO)

[18] arXiv:2005.07050 [pdf, other]

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

Gustavo A. Bodanza

Comments: 16 pages

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

[19] arXiv:2005.07829 [pdf, other]

Title: On bi-embeddable categoricity of algebraic structures

Nikolay Bazhenov, Dino Rossegger, Maxim Zubkov

Journal-ref: Annals of Pure and Applied Logic, vol.173 (2022), no.3, article id 103060

Subjects: Logic (math.LO)

[20] arXiv:2005.07912 [pdf, other]

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

Miguel A. Cardona

Subjects: Logic (math.LO)

[21] arXiv:2005.08506 [pdf, other]

Title: Unification in pretabular extensions of S4

Stepan Igorevich Bashmakov

Comments: 12 pages, 3 figures

Subjects: Logic (math.LO)

[22] arXiv:2005.09519 [pdf, other]

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

Burak Kaya, Irmak Saglam

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

[23] arXiv:2005.10058 [pdf, other]

Title: On embedding Lambek calculus into commutative categorial grammars

Sergey Slavnov

Comments: Some computational errors corrected. The final version of this draft was published in Jpurnal of Logic and Computation, Oxford University press

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

[24] arXiv:2005.10080 [pdf, other]

Title: A proof of P!=NP

Rupert McCallum

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

[25] arXiv:2005.10399 [pdf, other]

Title: Universally measurable sets may all be Delta^1_2

Paul B. Larson, Saharon Shelah

Subjects: Logic (math.LO)