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

Logic

Authors and titles for math.LO in May 2022

[ total of 63 entries: 1-63 ]
[ showing 63 entries per page: fewer | more ]
[1]  arXiv:2205.00019 [pdf, ps, other]
Title: Coideals as remainders of groups distinguishing between combinatorial covering properties
Comments: Comments are welcome, 17 pages. Topology and its Applications, to appear
Subjects: Logic (math.LO); General Topology (math.GN)
[2]  arXiv:2205.00023 [pdf, other]
Title: Cofinal types below $\aleph_ω$
Authors: Roy Shalev
Comments: 25 pages, 3 figures
Subjects: Logic (math.LO)
[3]  arXiv:2205.00245 [pdf, ps, other]
Title: Craig interpolation theorem fails in bi-intuitionistic predicate logic
Authors: Grigory K. Olkhovikov (1), Guillermo Badia (2) ((1) Ruhr University Bochum, (2) University of Queensland)
Comments: 23 pages, 0 figures
Subjects: Logic (math.LO)
[4]  arXiv:2205.00749 [pdf, ps, other]
Title: Topologizing interpretable groups in $p$-adically closed fields
Authors: Will Johnson
Comments: 38 pages, updated references
Subjects: Logic (math.LO)
[5]  arXiv:2205.00791 [pdf, other]
Title: Relatively acceptable notation
Comments: 15 pages, 0 figures
Subjects: Logic (math.LO); Other Computer Science (cs.OH)
[6]  arXiv:2205.01269 [pdf, ps, other]
Title: Modus ponens and modus tollens for the compositional rule of inference with aggregation functions
Comments: arXiv admin note: text overlap with arXiv:2112.12808
Subjects: Logic (math.LO); Artificial Intelligence (cs.AI)
[7]  arXiv:2205.01787 [pdf, other]
Title: The Landscape of Large Cardinals
Authors: Rohan Srivastava
Comments: 24 pages, 1 figure. Expository
Subjects: Logic (math.LO)
[8]  arXiv:2205.01788 [pdf, ps, other]
Title: Logical metatheorems for accretive and (generalized) monotone set-valued operators
Authors: Nicholas Pischke
Comments: 37 pages
Subjects: Logic (math.LO)
[9]  arXiv:2205.01839 [pdf, ps, other]
Title: Ramsey, expanders, and Borel chromatic numbers
Subjects: Logic (math.LO); Combinatorics (math.CO); Probability (math.PR)
[10]  arXiv:2205.02174 [pdf, ps, other]
Title: Reticulation functor and the transfer properties
Authors: George Georgescu
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[11]  arXiv:2205.02624 [pdf, ps, other]
Title: Correspondence Theory for Generalized Modal Algebras
Authors: Zhiguang Zhao
Subjects: Logic (math.LO)
[12]  arXiv:2205.02915 [pdf, ps, other]
Title: Fractal dimensions of $k$-automatic sets
Comments: 29 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[13]  arXiv:2205.04199 [pdf, ps, other]
Title: Additive reducts of real closed fields and strongly bounded structures
Subjects: Logic (math.LO)
[14]  arXiv:2205.04336 [pdf, ps, other]
Title: Higman's lemma is stronger for better quasi orders
Authors: Anton Freund
Subjects: Logic (math.LO); Combinatorics (math.CO)
[15]  arXiv:2205.04939 [pdf, ps, other]
Title: All Melodies are Lost -- Recognizability for weak and strong $α$-ITRMs
Authors: Merlin Carl
Subjects: Logic (math.LO)
[16]  arXiv:2205.05148 [pdf, ps, other]
Title: Transfer theorems for finitely subdirectly irreducible algebras
Subjects: Logic (math.LO)
[17]  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)
[18]  arXiv:2205.05438 [pdf, ps, other]
Title: Axiomatizing the existential theory of Fq((t))
Subjects: Logic (math.LO); Number Theory (math.NT)
[19]  arXiv:2205.05657 [pdf, ps, other]
Title: Fibered Universal Algebra for First-Order Logics
Comments: 37 pages
Subjects: Logic (math.LO)
[20]  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)
[21]  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)
[22]  arXiv:2205.06022 [pdf, ps, other]
Title: Undefinability and Absolute Undefinability in Arithmetic
Authors: Roman Kossak
Subjects: Logic (math.LO)
[23]  arXiv:2205.06335 [pdf, ps, other]
Title: Frucht's theorem in Borel setting
Subjects: Logic (math.LO); Combinatorics (math.CO)
[24]  arXiv:2205.06466 [pdf, ps, other]
Title: Strongly First Order, Domain Independent Dependencies: the Union-Closed Case
Authors: Pietro Galliani
Subjects: Logic (math.LO)
[25]  arXiv:2205.08276 [pdf, ps, other]
Title: Generalized Realizability and Intuitionistic Logic
Comments: arXiv admin note: substantial text overlap with arXiv:2001.08989
Subjects: Logic (math.LO)
[26]  arXiv:2205.08684 [pdf, ps, other]
Title: Strong minimality of triangle functions
Comments: 8 pages
Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Number Theory (math.NT)
[27]  arXiv:2205.10632 [pdf, ps, other]
Title: Logic of the Ontological Argument
Subjects: Logic (math.LO); History and Overview (math.HO)
[28]  arXiv:2205.10644 [pdf, ps, other]
Title: Unification types and union splittings in intermediate logics
Subjects: Logic (math.LO)
[29]  arXiv:2205.10709 [pdf, ps, other]
Title: On the sequence $\langle \text{pcf}^α(A): α\in \text{Ord} \rangle$
Subjects: Logic (math.LO)
[30]  arXiv:2205.10891 [pdf, ps, other]
Title: Hofmann-Mislove through the Lenses of Priestley
Subjects: Logic (math.LO); General Topology (math.GN)
[31]  arXiv:2205.11208 [pdf, ps, other]
Title: From contact relations to modal operators, and back
Subjects: Logic (math.LO)
[32]  arXiv:2205.11792 [pdf, ps, other]
Title: On large externally definable sets in NIP
Subjects: Logic (math.LO)
[33]  arXiv:2205.12011 [pdf, other]
Title: Global Complexification of Real Analytic Restricted Log-Exp-Analytic Functions
Authors: Andre Opris
Comments: 146 pages, 7 figures
Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Complex Variables (math.CV)
[34]  arXiv:2205.12051 [pdf, ps, other]
Title: On classification of continuous first order theories
Authors: Karim Khanaki
Comments: In this new version, Remark 3.4 has been rewritten. (33 pages)
Subjects: Logic (math.LO); Functional Analysis (math.FA)
[35]  arXiv:2205.12653 [pdf, ps, other]
Title: Connections between Kuratowski partitions of Baire spaces, measurable cardinals and precipitous ideals
Subjects: Logic (math.LO)
[36]  arXiv:2205.13498 [pdf, ps, other]
Title: Homogeneity of abstract linear spaces
Comments: 21 pages
Subjects: Logic (math.LO)
[37]  arXiv:2205.13665 [pdf, ps, other]
Title: Definable $(ω, 2)$-theorem for families with VC-codensity less than $2$
Subjects: Logic (math.LO); Combinatorics (math.CO)
[38]  arXiv:2205.13903 [pdf, ps, other]
Title: Subordination Algebras as Semantic Environment of Input/Output Logic
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[39]  arXiv:2205.00386 (cross-list from math.CT) [pdf, other]
Title: Internal sums for synthetic fibered $(\infty,1)$-categories
Comments: 46 pages. This text is essentially Section 3.4 and Chapter 5 from author's PhD thesis arXiv:2202.13132 plus some additions in Subsection 2.2.5 and Section 5.4 and 5.5. Correction and clarification at the end of proof of Thm. 5.17. Submitted, but comments welcome!
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Logic (math.LO)
[40]  arXiv:2205.00798 (cross-list from math.CT) [pdf, other]
Title: $\infty$-type theories
Subjects: Category Theory (math.CT); Logic (math.LO)
[41]  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)
[42]  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)
[43]  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)
[44]  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)
[45]  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)
[46]  arXiv:2205.08646 (cross-list from math.CT) [pdf, other]
Title: Higher geometric sheaf theories
Authors: Raffael Stenzel
Comments: 36 pages
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Logic (math.LO)
[47]  arXiv:2205.09222 (cross-list from math.CO) [pdf, ps, other]
Title: On balanced sets of binary vectors
Comments: 23 pages
Subjects: Combinatorics (math.CO); Logic (math.LO)
[48]  arXiv:2205.10204 (cross-list from math.CO) [pdf, ps, other]
Title: Planar graphs with separation are dp-minimal
Subjects: Combinatorics (math.CO); Logic (math.LO)
[49]  arXiv:2205.10917 (cross-list from math.CT) [pdf, ps, other]
Title: On Hofmann-Streicher universes
Authors: Steve Awodey
Comments: 10 pages
Subjects: Category Theory (math.CT); Logic (math.LO)
[50]  arXiv:2205.11017 (cross-list from math.CO) [pdf, other]
Title: Generalized fusible numbers and their ordinals
Comments: 25 pages, 1 figure
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO); Logic (math.LO)
[51]  arXiv:2205.12164 (cross-list from math.OC) [pdf, ps, other]
Title: Repeated Games with Tail-Measurable Payoffs
Subjects: Optimization and Control (math.OC); Logic (math.LO)
[52]  arXiv:2205.14343 (cross-list from math.GR) [pdf, ps, other]
Title: Varieties of Lazy Magmas Characterized by Forbidden Substructure Theorems
Subjects: Group Theory (math.GR); Logic (math.LO)
[53]  arXiv:2205.02142 (cross-list from cs.LO) [pdf, ps, other]
Title: Semimodules and the (syntactically-)linear lambda calculus
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[54]  arXiv:2205.02749 (cross-list from cs.LO) [pdf, ps, other]
Title: Automating Reasoning with Standpoint Logic via Nested Sequents
Comments: Accepted to KR 2022: this https URL
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS); Multiagent Systems (cs.MA); Logic (math.LO)
[55]  arXiv:2205.03659 (cross-list from cs.LO) [pdf, other]
Title: A theorem prover and countermodel constructor for provability logic in HOL Light
Comments: arXiv admin note: substantial text overlap with arXiv:2102.05945
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[56]  arXiv:2205.04111 (cross-list from cs.LO) [pdf, other]
Title: Unitless Frobenius quantales
Authors: Cédric de Lacroix (LIRICA, LIS), Luigi Santocanale (LIRICA, LIS)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[57]  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)
[58]  arXiv:2205.05387 (cross-list from cs.LO) [pdf, other]
Title: A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[59]  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)
[60]  arXiv:2205.08920 (cross-list from cs.LO) [pdf, other]
Title: Finite two-dimensional proof systems for non-finitely axiomatizable logics
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[61]  arXiv:2205.09233 (cross-list from cs.LO) [pdf, other]
Title: Rensets and Renaming-Based Recursion for Syntax with Bindings
Authors: Andrei Popescu
Comments: This is an extended technical report associated to an identically titled conference paper that will appear in IJCAR 2022
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[62]  arXiv:2205.12618 (cross-list from cs.DM) [pdf, ps, other]
Title: Semantic Embeddings in Semilattices
Comments: 58 pages
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Commutative Algebra (math.AC); Logic (math.LO); Rings and Algebras (math.RA)
[63]  arXiv:2205.14003 (cross-list from cs.LO) [pdf, ps, other]
Title: Choiceless Polynomial Time with Witnessed Symmetric Choice
Comments: 65 pages. Full version of a paper to appear at LICS 22. v2: corrected typos and small mistakes
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 63 entries: 1-63 ]
[ showing 63 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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