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-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]
[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: 38 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)
[ total of 63 entries: 1-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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