1. <code id="md54j"></code>
      <big id="md54j"><em id="md54j"></em></big>

        <code id="md54j"><nobr id="md54j"><samp id="md54j"></samp></nobr></code>
        <dfn id="md54j"><option id="md54j"><sub id="md54j"></sub></option></dfn>
        1. <th id="md54j"></th>

          Mirror operated in collaboration with local support

          Logic

          Authors and titles for recent submissions

          [ total of 15 entries: 1-15 ]
          [ showing up to 25 entries per page: fewer | more ]

          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
          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)$
          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
          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
          Subjects: Logic (math.LO)
          [8]  arXiv:2005.07829 [pdf, ps, other]
          Title: On bi-embeddable categoricity of algebraic structures
          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
          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
          Comments: 32 pages
          Subjects: Logic (math.LO)
          [12]  arXiv:2005.06533 [pdf, ps, other]
          Title: Nilpotency and the Hamiltonian property for cancellative residuated lattices
          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
          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)
          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
          Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
          [ total of 15 entries: 1-15 ]
          [ showing up to 25 entries per page: fewer | more ]
          Ϸ