We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic

Authors and titles for recent submissions

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

Fri, 18 May 2018

[1]  arXiv:1805.06847 [pdf, ps, other]
Title: Quantitative structure of stable sets in finite abelian groups
Authors: C. Terry, J. Wolf
Subjects: Logic (math.LO); Combinatorics (math.CO)
[2]  arXiv:1805.06767 [pdf, ps, other]
Title: Model theory of Steiner triple systems
Subjects: Logic (math.LO)
[3]  arXiv:1805.06763 [pdf, ps, other]
Title: The $Σ_1$-Provability Logic of HA*
Comments: arXiv admin note: substantial text overlap with arXiv:1409.5699
Subjects: Logic (math.LO)
[4]  arXiv:1805.06732 [pdf, ps, other]
Title: The descriptive complexity of the set of all closed zero-dimensional subsets of a Polish space
Subjects: Logic (math.LO)

Thu, 17 May 2018

[5]  arXiv:1805.06291 [pdf, ps, other]
Title: Categoricity and multidimensional diagrams
Comments: 62 pages
Subjects: Logic (math.LO)
[6]  arXiv:1805.06216 [pdf, ps, other]
Title: The Drinker Paradox and its Dual
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

Wed, 16 May 2018

[7]  arXiv:1805.05890 (cross-list from math.AC) [pdf, ps, other]
Title: Differential-henselianity and maximality of asymptotic valued differential fields
Comments: 30 pages
Subjects: Commutative Algebra (math.AC); Logic (math.LO)

Tue, 15 May 2018

[8]  arXiv:1805.04962 [pdf, ps, other]
Title: Generic structures
Authors: Leon Horsten
Subjects: Logic (math.LO)
[9]  arXiv:1805.04954 [pdf, ps, other]
Title: Ramsey theory without pigeonhole principle and the adversarial Ramsey principle
Authors: Noé de Rancourt
Comments: 35 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[10]  arXiv:1805.04852 [pdf, ps, other]
Title: Hypersequents and Systems of Rules: Embeddings and Applications
Comments: 32 pages, the final publication is available at ACM DL via this https URL
Journal-ref: ACM Transactions on Computational Logic (TOCL). Volume 19, Issue 2, Article No. 11. 2018
Subjects: Logic (math.LO)
[11]  arXiv:1805.04942 (cross-list from math.AG) [pdf, ps, other]
Title: Motivic volume of families of polarized rigid-analytic tori
Authors: Dmitry Sustretov
Comments: comments welcome
Subjects: Algebraic Geometry (math.AG); Logic (math.LO)
[12]  arXiv:1805.04834 (cross-list from math.CO) [pdf, other]
Title: Approximations of Mappings
Subjects: Combinatorics (math.CO); Logic (math.LO)

Mon, 14 May 2018

[13]  arXiv:1805.04219 [pdf, ps, other]
Title: Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics
Authors: Samuel Braunfeld
Comments: The author's thesis. Much of the first 8 chapters appeared in the previous articles "The Lattice of Definable Equivalence Relations in Homogeneous $n$-Dimensional Permutation Structures", "Ramsey expansions of $\Lambda$-ultrametric spaces", and "Homogeneous 3-dimensional permutation structures"
Subjects: Logic (math.LO); Combinatorics (math.CO)
[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)