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

Logic

Authors and titles for recent submissions

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

Thu, 27 Feb 2020

[1]  arXiv:2002.11518 [pdf, ps, other]
Title: A Study of Subminimal Logics of Negation and their Modal Companions
Subjects: Logic (math.LO)
[2]  arXiv:2002.11494 [pdf, other]
Title: The undecidability of joint embedding for 3-dimensional permutation classes
Authors: Samuel Braunfeld
Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1903.11932
Subjects: Logic (math.LO); Combinatorics (math.CO)
[3]  arXiv:2002.11419 [pdf, ps, other]
Title: Theorems of Alternatives for Substructural Logics
Subjects: Logic (math.LO)
[4]  arXiv:2002.11316 [pdf, ps, other]
Title: Quantum B-algebras with involutions
Subjects: Logic (math.LO)

Wed, 26 Feb 2020

[5]  arXiv:2002.10715 [pdf, other]
Title: The Brouwer invariance theorems in reverse mathematics
Authors: Takayuki Kihara
Subjects: Logic (math.LO)
[6]  arXiv:2002.10712 [pdf, other]
Title: Degrees of incomputability, realizability and constructive reverse mathematics
Authors: Takayuki Kihara
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[7]  arXiv:2002.10508 [pdf, ps, other]
Title: Generalizing a theorem of Bès and Choffrut
Authors: Erik Walsberg
Comments: 8 pages. Comments are welcome
Subjects: Logic (math.LO)
[8]  arXiv:2002.10457 [pdf, ps, other]
Title: Bases for functions beyond the first Baire class
Subjects: Logic (math.LO)
[9]  arXiv:2002.10456 [pdf, ps, other]
Title: Lacunary sets for actions of tsi groups
Subjects: Logic (math.LO); Dynamical Systems (math.DS)

Tue, 25 Feb 2020

[10]  arXiv:2002.10117 [pdf, ps, other]
Title: On Dimensions, Standard Part Maps, and $p$-Adically Closed Fields
Authors: Ningyuan Yao
Subjects: Logic (math.LO)
[11]  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)
[12]  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)
[13]  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)
[14]  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)
[15]  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)
[16]  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)
[17]  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

[18]  arXiv:2002.09451 [pdf, ps, other]
Title: Temporal Constraint Satisfaction Problems in Fixed-Point Logic
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[19]  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)
[20]  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)
[21]  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

[22]  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)
[ total of 22 entries: 1-22 ]
[ 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)