Logic

Authors and titles for math.LO in Apr 2016, skipping first 50

[51]  arXiv:1604.00153 (cross-list from math.AG) [pdf, ps, other]

Title: Definable categories and T-motives

Authors: L. Barbieri-Viale, M. Prest

Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT); K-Theory and Homology (math.KT); Logic (math.LO)

[52]  arXiv:1604.02215 (cross-list from math.DS) [pdf, ps, other]

Title: Cross sections of Borel flows with restrictions on the distance set

Authors: Konstantin Slutsky

Subjects: Dynamical Systems (math.DS); Logic (math.LO)

[53]  arXiv:1604.03788 (cross-list from math.GR) [pdf, ps, other]

Title: Torsion, torsion length and finitely presented groups

Authors: Maurice Chiodo, Rishi Vyas

Comments: 17 pages, version submitted for publication. This version: new title, expanded introduction, new section on torsion in word-hyperbolic groups, minor improvements

Journal-ref: J. Group Theory 21 (5), (2018), 949-971

Subjects: Group Theory (math.GR); Logic (math.LO)

[54]  arXiv:1604.04408 (cross-list from math.FA) [pdf, ps, other]

Title: Unconditional and bimonotone structures in high density Banach spaces

Authors: Jarno Talponen

Subjects: Functional Analysis (math.FA); Logic (math.LO)

[55]  arXiv:1604.06001 (cross-list from math.CT) [pdf, ps, other]

Title: Path categories and propositional identity types

Authors: Benno van den Berg

Comments: Corrected a few typos and added a reference to the work by Cohen, Coquand, Huber and Mortberg

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

[56]  arXiv:1604.06663 (cross-list from math.HO) [pdf, ps, other]

Title: Small oscillations of the pendulum, Euler's method, and adequality

Authors: Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Tahl Nowik

Comments: 9 pages, to appear in Quantum Studies: Mathematics and Foundations

Journal-ref: Quantum Studies: Mathematics and Foundations 3 (2016), no. 3, 231-236

Subjects: History and Overview (math.HO); Mathematical Physics (math-ph); Logic (math.LO)

[57]  arXiv:1604.07349 (cross-list from math.CO) [pdf, other]

Title: Measurable versions of the Lovász Local Lemma and measurable graph colorings

Authors: Anton Bernshteyn

Comments: 48 pages, 3 figures

Journal-ref: Advances in Mathematics, 353 (2019), pp. 153--223

Subjects: Combinatorics (math.CO); Dynamical Systems (math.DS); Logic (math.LO); Probability (math.PR)

[58]  arXiv:1604.08446 (cross-list from math.GR) [pdf, ps, other]

Title: Sofic metric groups and continuous logic

Authors: A. Ivanov

Comments: 16 pages

Subjects: Group Theory (math.GR); Logic (math.LO)

[59]  arXiv:1604.01673 (cross-list from cs.LO) [pdf, ps, other]

Title: On the uniform one-dimensional fragment

Authors: Antti Kuusisto

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)

[60]  arXiv:1604.01990 (cross-list from cs.LO) [pdf, ps, other]

Title: Practical Subtyping for System F with Sized (Co-)Induction

Authors: Rodolphe Lepigre (1), Christophe Raffalli (1) ((1) LAMA)

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)

[61]  arXiv:1604.02086 (cross-list from cs.LO) [pdf, ps, other]

Title: Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search

Authors: José Espírito Santo, Ralph Matthes, Luís Pinto

Comments: 16 pages + 3 pages appendix (an error in the original version was detected, the proofs are very different and are based on new definitions)

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[62]  arXiv:1604.04344 (cross-list from cs.LO) [pdf, ps, other]

Title: Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions

Authors: Anna Mikhailovich

Comments: 6 pages

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[63]  arXiv:1604.05047 (cross-list from cs.LO) [pdf, other]

Title: From Dynamic to Static Semantics, Quantitatively

Authors: Thomas Seiller

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[64]  arXiv:1604.08348 (cross-list from cs.LO) [pdf, other]

Title: On the algebraic structure of Weihrauch degrees

Authors: Vasco Brattka, Arno Pauly

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4, Computability and logic (October 25, 2018) lmcs:3854

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)