We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic

Authors and titles for recent submissions

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

Fri, 19 Jan 2018

[1]  arXiv:1801.05965 [pdf, ps, other]
Title: Complexity of Combinations of Qualitative Constraint Satisfaction Problems
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[2]  arXiv:1801.06045 (cross-list from math.FA) [pdf, ps, other]
Title: Ordered group-valued probability, positive operators, and integral representations
Authors: T. Kroupa
Subjects: Functional Analysis (math.FA); Logic (math.LO)

Thu, 18 Jan 2018

[3]  arXiv:1801.05748 [pdf, ps, other]
Title: Supersimple omega-categorical theories and pregeometries
Authors: Vera Koponen
Comments: 22 pages
Subjects: Logic (math.LO)

Wed, 17 Jan 2018

[4]  arXiv:1801.04968 [pdf, ps, other]
Title: On Goodman realizability
Comments: 25 pages
Subjects: Logic (math.LO)

Tue, 16 Jan 2018

[5]  arXiv:1801.04599 [pdf, ps, other]
Title: The modal logic of arithmetic potentialism and the universal algorithm
Comments: 36 pages. Inquiries and commentary can be made at this http URL Version v2 has minor revisions, including addition of theorem 21, giving the flexible-formula result
Subjects: Logic (math.LO)
[6]  arXiv:1801.04424 [pdf, ps, other]
Title: Prikry Forcing and Tree Prikry Forcing of Various Filters
Authors: Tom Benhamou
Subjects: Logic (math.LO)

Wed, 10 Jan 2018

[7]  arXiv:1801.02767 [pdf, other]
Title: Decompositions and measures on countable Borel equivalence relations
Authors: Ruiyuan Chen
Comments: 32 pages
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[8]  arXiv:1801.02920 (cross-list from math.AG) [pdf, ps, other]
Title: On singularity properties of convolutions of algebraic morphisms
Subjects: Algebraic Geometry (math.AG); Logic (math.LO)
[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)