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

Logic

Authors and titles for recent submissions

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

Fri, 15 Nov 2019

[1]  arXiv:1911.06303 [pdf, ps, other]
Title: Mutual algebraicity and cellularity
Comments: 6 pages
Subjects: Logic (math.LO)
[2]  arXiv:1911.06165 [pdf, ps, other]
Title: Differential Galois cohomology and parameterized Picard-Vessiot extensions
Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
[3]  arXiv:1911.06109 [pdf, ps, other]
Title: Positive Strong Amalgamation
Subjects: Logic (math.LO)
[4]  arXiv:1911.05899 [pdf, ps, other]
Title: Degrees of and lowness for isometric isomorphism
Subjects: Logic (math.LO)

Thu, 14 Nov 2019

[5]  arXiv:1911.05117 [pdf, ps, other]
Title: The Barwise-Schlipf Theorem
Subjects: Logic (math.LO)
[6]  arXiv:1911.05618 (cross-list from math.NT) [pdf, ps, other]
Title: Quantitative reduction theory and unlikely intersections
Comments: 45 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Logic (math.LO)
[7]  arXiv:1911.05390 (cross-list from math.GN) [pdf]
Title: Soft $T_{(0,α)}$ Spaces
Comments: 14 pages
Subjects: General Topology (math.GN); Logic (math.LO)

Wed, 13 Nov 2019

[8]  arXiv:1911.04727 [pdf, ps, other]
Title: Dp-finite fields III: inflators and directories
Authors: Will Johnson
Comments: Preliminary draft, comments welcome
Subjects: Logic (math.LO)
[9]  arXiv:1911.04568 [pdf, ps, other]
Title: On $ω$-Strongly Measurable Cardinals
Subjects: Logic (math.LO)
[10]  arXiv:1911.04480 [pdf, ps, other]
Title: Selection Principles in the Laver, Miller, and Sacks models
Comments: Comments are welcome. To appear in Contemporary Mathematics volume devoted to 100 years of Borel Conjecture. arXiv admin note: text overlap with arXiv:1712.03899
Subjects: Logic (math.LO); General Topology (math.GN)
[11]  arXiv:1911.04704 (cross-list from math.CT) [pdf, ps, other]
Title: Category Theory with Stratified Set Theory
Subjects: Category Theory (math.CT); Logic (math.LO)

Tue, 12 Nov 2019

[12]  arXiv:1911.04284 [pdf, ps, other]
Title: Hard Provability Logics
Subjects: Logic (math.LO)
[13]  arXiv:1911.03962 [pdf, ps, other]
Title: Classical linear logic, cobordisms and categorial grammars
Authors: Sergey Slavnov
Comments: This s an improved version of the previously posted paper "Classical linear logic, cobordisms and categorical semantics of categorial grammars" with reduced amonunt of category theory, much simplified definitions and a number of examples. Also, a treatment of tree languages is added
Subjects: Logic (math.LO); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

Mon, 11 Nov 2019

[14]  arXiv:1911.03202 [pdf, ps, other]
Title: A class of fields with a restricted model completeness property
Subjects: Logic (math.LO)
[15]  arXiv:1911.03114 [pdf, ps, other]
Title: Strategic equivalence among hat puzzles of various protocols with many colors
Subjects: Logic (math.LO)
[16]  arXiv:1911.02997 [pdf, ps, other]
Title: Algebraically closed structures in Positive Logic
Subjects: Logic (math.LO)
[17]  arXiv:1911.02959 [pdf, ps, other]
Title: Model theory and the DME: a survey
Authors: Rahim Moosa
Comments: 17 pages
Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Rings and Algebras (math.RA)
[18]  arXiv:1911.02758 [pdf, ps, other]
Title: A Q-Wadge Hierarchy in Quasi-Polish Spaces
Authors: Victor Selivanov
Subjects: Logic (math.LO)
[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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