We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic

Authors and titles for recent submissions

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

Fri, 17 Nov 2017

[1]  arXiv:1711.06213 [pdf, ps, other]
Title: Weak square and stationary reflection
Comments: 11 pages
Subjects: Logic (math.LO)
[2]  arXiv:1711.06160 [pdf, ps, other]
Title: The Class of Countable Projective Planes is Borel Complete
Authors: Gianluca Paolini
Subjects: Logic (math.LO)
[3]  arXiv:1711.06155 [pdf, ps, other]
Title: Polish Topologies for Graph Products of Groups
Subjects: Logic (math.LO)
[4]  arXiv:1711.06139 [pdf, ps, other]
Title: An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
Subjects: Logic (math.LO); History and Overview (math.HO)
[5]  arXiv:1711.05754 [pdf, ps, other]
Title: Spaces of Types in Positive Model Theory
Authors: Levon Haykazyan
Subjects: Logic (math.LO)
[6]  arXiv:1711.05845 (cross-list from math.OA) [pdf, ps, other]
Title: Trace spaces of counterexamples to Naimark's Problem
Authors: Andrea Vaccaro
Comments: 17 pages
Subjects: Operator Algebras (math.OA); Logic (math.LO)

Wed, 15 Nov 2017

[7]  arXiv:1711.04938 [pdf, ps, other]
Title: On a theorem of Magidor
Subjects: Logic (math.LO)
[8]  arXiv:1711.04666 [pdf, ps, other]
Title: Generic partiality for $\frac{3}{2}$-institutions
Comments: arXiv admin note: substantial text overlap with arXiv:1708.09675
Subjects: Logic (math.LO); Category Theory (math.CT)
[9]  arXiv:1711.04634 [pdf, ps, other]
Title: A Cut-free sequent calculus for modal logic S5
Comments: 13 pages
Subjects: Logic (math.LO)
[10]  arXiv:1711.04390 [pdf, ps, other]
Title: A family of dp-minimal expansions of $(\mathbb{Z};+)$
Subjects: Logic (math.LO)
[11]  arXiv:1711.04353 [pdf, ps, other]
Title: Ordinal Definability and Combinatorics of Equivalence Relations
Authors: William Chan
Subjects: Logic (math.LO)
[12]  arXiv:1711.04262 [pdf, ps, other]
Title: Uncountable set of reals with unique condensation point
Authors: Eilon Bilinsky
Comments: 5 pages
Subjects: Logic (math.LO)
[13]  arXiv:1711.04058 [pdf, ps, other]
Title: Not so many non-disjoint translations
Subjects: Logic (math.LO)
[14]  arXiv:1711.04042 [pdf, ps, other]
Title: A fixed-point theorem for definably amenable groups
Subjects: Logic (math.LO)
[15]  arXiv:1711.04574 (cross-list from cs.NE) [pdf, other]
Title: Learning Explanatory Rules from Noisy Data
Comments: 64 pages, to appear in Journal of Artificial Intelligence Research (Special Track on Deep Learning, Knowledge Representation, and Reasoning)
Subjects: Neural and Evolutionary Computing (cs.NE); Logic (math.LO)

Mon, 13 Nov 2017

[16]  arXiv:1711.03687 [pdf, ps, other]
Title: A new minimal non $σ$-scattered linear order
Comments: 16 pages
Subjects: Logic (math.LO)
[17]  arXiv:1711.03685 [pdf, ps, other]
Title: A minimal Kurepa tree with respect to club embeddings
Comments: 10 pages
Subjects: Logic (math.LO)
[18]  arXiv:1711.03811 (cross-list from math.AG) [pdf, ps, other]
Title: A motivic local Cauchy-Crofton formula
Authors: Arthur Forey
Comments: 7 pages
Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

Fri, 10 Nov 2017

[19]  arXiv:1711.03531 [pdf, ps, other]
Title: Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
Subjects: Logic (math.LO)
[20]  arXiv:1711.03372 [pdf, ps, other]
Title: A theory of pairs for non-valuational structures
Subjects: Logic (math.LO)
[21]  arXiv:1711.03499 (cross-list from physics.hist-ph) [pdf, other]
Title: Constraints on physical reality arising from a formalization of knowledge
Authors: David Wolpert
Comments: 22 pages, 5 figures
Subjects: History and Philosophy of Physics (physics.hist-ph); Logic in Computer Science (cs.LO); Logic (math.LO)

Thu, 9 Nov 2017

[22]  arXiv:1711.03056 [pdf, ps, other]
Title: Semi-decidable equivalence relations obtained by composition and lattice join of decidable equivalence relations
Authors: Edward J. Green
Comments: 14 pages
Subjects: Logic (math.LO)
[23]  arXiv:1711.02962 [pdf, ps, other]
Title: Woodin cardinals and forcing
Comments: 8 pages
Subjects: Logic (math.LO)
[ total of 23 entries: 1-23 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)