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

Logic

Authors and titles for recent submissions

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

Mon, 30 Mar 2020

[1]  arXiv:2003.12355 [pdf, ps, other]
Title: Slanted canonicity of analytic inductive inequalities
Comments: arXiv admin note: text overlap with arXiv:1603.08515, arXiv:1603.08341
Subjects: Logic (math.LO)
[2]  arXiv:2003.12115 [pdf, ps, other]
Title: A Decomposition Theorem for Aronszajn Lines
Comments: 21 pages
Subjects: Logic (math.LO)

Fri, 27 Mar 2020

[3]  arXiv:2003.11578 [pdf, ps, other]
Title: Hausdorff Dimension Regularity Properties and Games
Subjects: Logic (math.LO)
[4]  arXiv:2003.11692 (cross-list from math.CO) [pdf, other]
Title: Regular partitions of gentle graphs
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)

Thu, 26 Mar 2020

[5]  arXiv:2003.11215 [pdf, other]
Title: Some basic thoughts on the cofiality of Chang structures with an application to forcing
Authors: Dominik Adolf
Subjects: Logic (math.LO)

Wed, 25 Mar 2020

[6]  arXiv:2003.11017 [pdf, ps, other]
Title: On special partition of metric space
Comments: arXiv admin note: text overlap with arXiv:2003.10307
Subjects: Logic (math.LO)
[7]  arXiv:2003.10996 [pdf, ps, other]
Title: Differential Existential Closedness for the $j$-function
Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
[8]  arXiv:2003.10944 [pdf, ps, other]
Title: The Ramsey property and higher dimensional mad families
Comments: 29 pages
Subjects: Logic (math.LO)

Tue, 24 Mar 2020

[9]  arXiv:2003.10307 [pdf, ps, other]
Title: Partitions of non-complete Baire metric spaces
Subjects: Logic (math.LO)
[10]  arXiv:2003.10030 [pdf, ps, other]
Title: SOP$_1$, SOP$_2$, and antichain tree property
Subjects: Logic (math.LO)
[11]  arXiv:2003.09975 [pdf, ps, other]
Title: The Distributive Full Lambek Calculus with Modal Operators
Authors: Daniel Rogozin
Subjects: Logic (math.LO); Category Theory (math.CT); Rings and Algebras (math.RA)
[12]  arXiv:2003.09522 [pdf, ps, other]
Title: Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Subjects: Logic (math.LO)
[13]  arXiv:2003.10230 (cross-list from cs.CC) [pdf, ps, other]
Title: Failure of Feasible Disjunction Property for $k$-DNF Resolution and NP-hardness of Automating It
Authors: Michal Garlík
Comments: arXiv admin note: text overlap with arXiv:1905.12372
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[14]  arXiv:2003.10004 (cross-list from math.OA) [pdf, ps, other]
Title: On Popa's factorial commutant embedding problem
Authors: Isaac Goldbring
Comments: 7 pages. First draft; comments welcome!
Subjects: Operator Algebras (math.OA); Logic (math.LO)
[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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