Logic

Authors and titles for recent submissions

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

[1] arXiv:2003.12355 [pdf, ps, other]: Title: Slanted canonicity of analytic inductive inequalities

Authors: Laurent De Rudder, Alessandra Palmigiano

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

Authors: Keegan Dasilva Barbosa

Comments: 21 pages

Subjects: Logic (math.LO)

[3] arXiv:2003.11578 [pdf, ps, other]: Title: Hausdorff Dimension Regularity Properties and Games

Authors: Logan Crone, Lior Fishman, Stephen Jackson

Subjects: Logic (math.LO)
[4] arXiv:2003.11692 (cross-list from math.CO) [pdf, other]: Title: Regular partitions of gentle graphs

Authors: Yiting Jiang, Jaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)

[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)

[6] arXiv:2003.11017 [pdf, ps, other]: Title: On special partition of metric space

Authors: Ryszard Frankiewicz, Joanna Jureczko

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

Authors: Vahagn Aslanyan, Sebastian Eterović, Jonathan Kirby

Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
[8] arXiv:2003.10944 [pdf, ps, other]: Title: The Ramsey property and higher dimensional mad families

Authors: David Schrittesser, Asger Törnquist

Comments: 29 pages

Subjects: Logic (math.LO)

[9] arXiv:2003.10307 [pdf, ps, other]: Title: Partitions of non-complete Baire metric spaces

Authors: Ryszard Frankiewicz, Joanna Jureczko

Subjects: Logic (math.LO)
[10] arXiv:2003.10030 [pdf, ps, other]: Title: SOP$_1$, SOP$_2$, and antichain tree property

Authors: JinHoo Ahn, Joonhee Kim

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

Authors: Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor

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 ]