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

Logic

Authors and titles for recent submissions

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

Tue, 25 Feb 2020

[1]  arXiv:2002.10117 [pdf, ps, other]
Title: On Dimensions, Standard Part Maps, and $p$-Adically Closed Fields
Authors: Ningyuan Yao
Subjects: Logic (math.LO)
[2]  arXiv:2002.09984 [pdf, ps, other]
Title: Sigma-continuity with closed witnesses
Journal-ref: Fundamenta Mathematicae 239 (2017) 29 - 42
Subjects: Logic (math.LO); General Topology (math.GN)
[3]  arXiv:2002.09655 [pdf, ps, other]
Title: Measure reducibility of countable Borel equivalence relations
Journal-ref: Annals of Mathematics 185 (2) (2017) 347-402
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[4]  arXiv:2002.09653 [pdf, ps, other]
Title: Measurable perfect matchings for acyclic locally countable Borel graphs
Journal-ref: Journal of Symbolic Logic 82 (1) (2017) 258-271
Subjects: Logic (math.LO); Combinatorics (math.CO); Dynamical Systems (math.DS)
[5]  arXiv:2002.09651 [pdf, ps, other]
Title: Incomparable actions of free groups
Journal-ref: Ergodic theory and dynamical systems 37 (7) (2017) 2084-2098
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[6]  arXiv:2002.09622 [pdf, ps, other]
Title: Notes on neighborhood semantics for logics of unknown truths and false beliefs
Authors: Jie Fan
Comments: 21 pages
Subjects: Logic (math.LO); Artificial Intelligence (cs.AI)
[7]  arXiv:2002.10278 (cross-list from math.GR) [pdf, ps, other]
Title: The rates of growth in a hyperbolic group
Subjects: Group Theory (math.GR); Logic (math.LO); Rings and Algebras (math.RA)
[8]  arXiv:2002.09873 (cross-list from math.GN) [pdf, ps, other]
Title: Grätzer-Hofmann-Lawson-Jung-Sünderhauf Duality
Authors: Tristan Bice
Subjects: General Topology (math.GN); Category Theory (math.CT); Logic (math.LO); Rings and Algebras (math.RA)

Mon, 24 Feb 2020

[9]  arXiv:2002.09451 [pdf, ps, other]
Title: Temporal Constraint Satisfaction Problems in Fixed-Point Logic
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[10]  arXiv:2002.09308 [pdf, ps, other]
Title: Recurrence and the existence of invariant measures
Comments: To appear in the Journal of Symbolic Logic
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[11]  arXiv:2002.09294 [pdf, ps, other]
Title: On the existence of cocycle-invariant Borel probability measures
Comments: To appear in Ergodic Theory in Dynamical Systems
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[12]  arXiv:2002.09076 [pdf, ps, other]
Title: Equidecomposition in cardinal algebras
Authors: Forte Shinko
Subjects: Logic (math.LO); Operator Algebras (math.OA)

Fri, 21 Feb 2020

[13]  arXiv:2002.08800 [pdf, ps, other]
Title: The poset of nontrivial finitary partitions of $ω$ and its cardinal characteristics
Comments: 4 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)

Thu, 20 Feb 2020

[14]  arXiv:2002.08206 [pdf, ps, other]
Title: Specializing Wide Aronszajn Trees without Adding Reals
Comments: 12 Pages, submitted to the RIMS Set Theory and Infinity 2019 Kokyuroku
Subjects: Logic (math.LO)
[15]  arXiv:2002.08199 [pdf, ps, other]
Title: The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable
Subjects: Logic (math.LO); Computational Complexity (cs.CC)

Wed, 19 Feb 2020

[16]  arXiv:2002.07792 [pdf, other]
Title: The poset of all logics II: Leibniz classes and hierarchy
Subjects: Logic (math.LO)
[17]  arXiv:2002.07739 [pdf, ps, other]
Title: Surreal ordered exponential fields
Comments: 25 pages
Subjects: Logic (math.LO)
[18]  arXiv:2002.07299 [pdf, ps, other]
Title: Structure theorems above a strongly compact cardinal
Authors: Gabriel Goldberg
Comments: 4 pages
Subjects: Logic (math.LO)
[19]  arXiv:2002.07536 (cross-list from math.DG) [pdf, ps, other]
Title: Metric completions, the Heine-Borel property, and approachability
Comments: 8 pages, to appear in Open Mathematics
Subjects: Differential Geometry (math.DG); Classical Analysis and ODEs (math.CA); Logic (math.LO)
[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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