We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic

Authors and titles for recent submissions

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

Mon, 25 Sep 2017

[1]  arXiv:1709.07829 [pdf, ps, other]
Title: Enayat Models of Peano Arithmetic
Subjects: Logic (math.LO)
[2]  arXiv:1709.07695 [pdf, ps, other]
Title: On the Recognizing Power of the Lambek Calculus with Brackets
Authors: Makoto Kanazawa
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

Fri, 22 Sep 2017

[3]  arXiv:1709.07353 [pdf, ps, other]
Title: An ab initio construction of a geometry
Authors: Omer Mermelstein
Comments: 8 pages
Subjects: Logic (math.LO)
[4]  arXiv:1709.07341 [pdf, ps, other]
Title: Interpretations in Presburger Arithmetic
Comments: Submitted to LFCS 2018
Subjects: Logic (math.LO)
[5]  arXiv:1709.07301 [pdf, ps, other]
Title: Some observations about generalized quantifiers in logics of imperfect information
Authors: Fausto Barbero
Subjects: Logic (math.LO)
[6]  arXiv:1709.07209 [pdf, ps, other]
Title: A variant of Hrushovski's construction
Comments: 10 pages
Subjects: Logic (math.LO)

Thu, 21 Sep 2017

[7]  arXiv:1709.06893 [pdf, ps, other]
Title: Explicit justification stit logic: a completeness result
Comments: 32 pages, 0 figures. arXiv admin note: substantial text overlap with arXiv:1707.03292
Subjects: Logic (math.LO)
[8]  arXiv:1709.06862 [pdf, ps, other]
Title: Completely separably MAD families and the modal logic of $βω$
Subjects: Logic (math.LO); General Topology (math.GN)
[9]  arXiv:1709.06789 [pdf, ps, other]
Title: New $ω$-Stable Planes
Authors: Gianluca Paolini
Subjects: Logic (math.LO)
[10]  arXiv:1709.06684 [pdf, ps, other]
Title: The Classification Problem for Simple Unital Finite Rank Dimension Groups
Authors: Paul Ellis
Comments: 32 pages. To be published in Israel Journal of Mathematics
Subjects: Logic (math.LO); Group Theory (math.GR)
[11]  arXiv:1709.06629 (cross-list from math.CV) [pdf, ps, other]
Title: Composite quasianalytic functions
Comments: 13 pages
Subjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA); Logic (math.LO)

Wed, 20 Sep 2017

[12]  arXiv:1709.06249 [pdf, ps, other]
Title: On $C^s_n(κ)$ and the Juhasz-Kunen question
Comments: This is publication 1125 of second author
Subjects: Logic (math.LO)
[13]  arXiv:1709.06170 [pdf, other]
Title: Closure operators on dcpos
Authors: France Dacar
Subjects: Logic (math.LO)
[14]  arXiv:1709.06403 (cross-list from math.CT) [pdf, ps, other]
Title: Geometric theories of patch and Lawson topologies
Authors: Tatsuji Kawai
Comments: 37 pages
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)

Tue, 19 Sep 2017

[15]  arXiv:1709.06062 [pdf, ps, other]
Title: The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD
Comments: 15 pages. Version v2 includes theorem 14, which provides a simultaneous counterexample to the class-forcing analogue of the intermediate model theorem. Questions and commentary can be made at this http URL
Subjects: Logic (math.LO)
[16]  arXiv:1709.05817 [pdf, ps, other]
Title: Constructive completeness and non-discrete languages
Comments: 31 pages
Subjects: Logic (math.LO)
[17]  arXiv:1709.05687 [pdf, ps, other]
Title: More or Less Uniform Convergence
Authors: Henry Towsner
Subjects: Logic (math.LO)
[ total of 17 entries: 1-17 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)