Logic

Authors and titles for August 2016

[51] arXiv:1608.07468 (cross-list from math.GR) [pdf, other]

Title: On Mathematical structures on pairwise comparisons matrices with coefficients in a group arising from quantum gravity

Jean-Pierre Magnot

Journal-ref: Heliyon 5 (2019) e01821

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

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

Title: The logical strength of Büchi's decidability theorem

Leszek Kołodziejczyk, Henryk Michalewski, Cécilia Pradic, Michał Skrzypczak

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (May 23, 2019) lmcs:4866

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

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

Title: Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior

Tristram Bogart, John Goodrick, Kevin Woods

Comments: 34 pages, 1 figure. Minor changes, including to the title

Journal-ref: Discrete Analysis 2017:4

Subjects: Combinatorics (math.CO); Logic (math.LO)