Logic

Authors and titles for recent submissions

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

[1] arXiv:1911.06303 [pdf, ps, other]: Title: Mutual algebraicity and cellularity

Authors: Samuel Braunfeld, Michael C. Laskowski

Comments: 6 pages

Subjects: Logic (math.LO)
[2] arXiv:1911.06165 [pdf, ps, other]: Title: Differential Galois cohomology and parameterized Picard-Vessiot extensions

Authors: Omar Leon Sanchez, Anand Pillay

Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
[3] arXiv:1911.06109 [pdf, ps, other]: Title: Positive Strong Amalgamation

Authors: Mohammed Belkasmi

Subjects: Logic (math.LO)
[4] arXiv:1911.05899 [pdf, ps, other]: Title: Degrees of and lowness for isometric isomorphism

Authors: Johanna N.Y. Franklin, Timothy H. McNicholl

Subjects: Logic (math.LO)

[5] arXiv:1911.05117 [pdf, ps, other]: Title: The Barwise-Schlipf Theorem

Authors: Ali Enayat, James H. Schmerl

Subjects: Logic (math.LO)
[6] arXiv:1911.05618 (cross-list from math.NT) [pdf, ps, other]: Title: Quantitative reduction theory and unlikely intersections

Authors: Christopher Daw, Martin Orr

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

Authors: Mbekezeli Sibahle Nxumalo

Comments: 14 pages

Subjects: General Topology (math.GN); Logic (math.LO)

[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

Authors: Omer Ben-Neria, Yair Hayut

Subjects: Logic (math.LO)
[10] arXiv:1911.04480 [pdf, ps, other]: Title: Selection Principles in the Laver, Miller, and Sacks models

Authors: Lyubomyr Zdomskyy

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

Authors: Thomas Forster, Adam Lewicki, Alice Vidrine

Subjects: Category Theory (math.CT); Logic (math.LO)

[12] arXiv:1911.04284 [pdf, ps, other]: Title: Hard Provability Logics

Authors: Mojtaba Mojtahedi

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)

[14] arXiv:1911.03202 [pdf, ps, other]: Title: A class of fields with a restricted model completeness property

Authors: Philip Dittmann, Dion Leijnse

Subjects: Logic (math.LO)
[15] arXiv:1911.03114 [pdf, ps, other]: Title: Strategic equivalence among hat puzzles of various protocols with many colors

Authors: Masaru Kada, Souji Shizuma

Subjects: Logic (math.LO)
[16] arXiv:1911.02997 [pdf, ps, other]: Title: Algebraically closed structures in Positive Logic

Authors: Mohammed Belkasmi

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 ]