We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for recent submissions

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

Tue, 17 May 2022

[1]  arXiv:2205.07803 (cross-list from cs.CC) [pdf, ps, other]
Title: Average-Case Hardness of Proving Tautologies and Theorems
Authors: Hunter Monroe
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[2]  arXiv:2205.07102 (cross-list from math.OA) [pdf, ps, other]
Title: The undecidability of having the QWEP
Comments: 13 pages; first draft; comments very much welcome!
Subjects: Operator Algebras (math.OA); Logic (math.LO)
[3]  arXiv:2205.07093 (cross-list from math.CT) [pdf, ps, other]
Title: Dialectica Principles via Gödel Doctrines
Comments: arXiv admin note: text overlap with arXiv:2109.08064
Subjects: Category Theory (math.CT); Logic (math.LO)
[4]  arXiv:2205.06894 (cross-list from math.PR) [pdf, ps, other]
Title: A random walk on the Rado graph
Comments: 43 pages
Subjects: Probability (math.PR); Combinatorics (math.CO); Logic (math.LO)

Mon, 16 May 2022

[5]  arXiv:2205.06466 [pdf, ps, other]
Title: Strongly First Order, Domain Independent Dependencies: the Union-Closed Case
Authors: Pietro Galliani
Subjects: Logic (math.LO)
[6]  arXiv:2205.06335 [pdf, ps, other]
Title: Frucht's theorem in Borel setting
Subjects: Logic (math.LO); Combinatorics (math.CO)
[7]  arXiv:2205.06651 (cross-list from math.CT) [pdf, ps, other]
Title: Univalent typoids
Authors: Iosif Petrakis
Subjects: Category Theory (math.CT); Logic (math.LO)

Fri, 13 May 2022

[8]  arXiv:2205.06022 [pdf, ps, other]
Title: Undefinability and Absolute Undefinability in Arithmetic
Authors: Roman Kossak
Subjects: Logic (math.LO)
[9]  arXiv:2205.05995 [pdf, ps, other]
Title: What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains?
Subjects: Logic (math.LO)
[10]  arXiv:2205.05751 [pdf, ps, other]
Title: A Cantor--Bendixson dichotomy of domatic partitions
Authors: Edward Hou
Comments: 20 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[11]  arXiv:2205.06173 (cross-list from math.GR) [pdf, ps, other]
Title: Actions of $\operatorname{Alt}(n)$ on groups of finite Morley rank without involutions
Subjects: Group Theory (math.GR); Logic (math.LO)

Thu, 12 May 2022

[12]  arXiv:2205.05657 [pdf, ps, other]
Title: Fibered Universal Algebra for First-Order Logics
Comments: 36 pages
Subjects: Logic (math.LO)
[13]  arXiv:2205.05438 [pdf, ps, other]
Title: Axiomatizing the existential theory of Fp((t))
Subjects: Logic (math.LO); Number Theory (math.NT)
[14]  arXiv:2205.05162 [pdf, ps, other]
Title: Simplifying the axiomatization for the order affine geometry
Authors: Dafa Li
Comments: 14 pages, no figure
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[15]  arXiv:2205.05148 [pdf, ps, other]
Title: Transfer theorems for finitely subdirectly irreducible algebras
Subjects: Logic (math.LO)

Wed, 11 May 2022

[16]  arXiv:2205.04939 [pdf, ps, other]
Title: All Melodies are Lost -- Recognizability for weak and strong $α$-ITRMs
Authors: Merlin Carl
Subjects: Logic (math.LO)
[17]  arXiv:2205.04787 (cross-list from cs.CC) [pdf, other]
Title: Fixed-Template Promise Model Checking Problems
Comments: in Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, CP 2022
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[ total of 17 entries: 1-17 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2205, contact, help  (Access key information)