Logic

Authors and titles for March 2015

[51] arXiv:1503.08936 [pdf, other]

Title: A model-theoretic characterization of monadic second order logic on infinite words

Silvio Ghilardi, Samuel J. van Gool

Comments: 15 pages

Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[52] arXiv:1503.09130 [pdf, other]

Title: Two series of formalized interpretability principles for weak systems of arithmetic

Evan Goris, Joost J. Joosten

Subjects: Logic (math.LO)

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

Title: A Uniform Substitution Calculus for Differential Dynamic Logic

André Platzer

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

[54] arXiv:1503.02627 (cross-list from math.RA) [pdf, other]

Title: The finite representation property for composition, intersection, domain and range

Brett McLean, Szabolcs Mikulás

Comments: 15 pages. Results extended from antidomain-containing signatures to domain-containing signatures

Journal-ref: International Journal of Algebra and Computation, Volume 26, Issue 6 (2016) 1199-1216

Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO); Logic (math.LO)

[55] arXiv:1503.02840 (cross-list from cs.FL) [pdf, other]

Title: An Upper Bound on the Complexity of Recognizable Tree Languages

Olivier Finkel (ELM, IMJ), Dominique Lecomte (IMJ), Pierre Simonnet (SPE)

Subjects: Formal Languages and Automata Theory (cs.FL); General Topology (math.GN); Logic (math.LO)

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

Title: Consequences of a Goedel's misjudgment

Giuseppe Raguni

Comments: English version, 19 pages. Fixed and improved terminology

Subjects: History and Overview (math.HO); Logic (math.LO)

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

Title: Rainbow matchings and algebras of sets

Gabriel Nivasch, Eran Omri

Comments: Revision taking into account referees' comments. 12 pages, 7 figures

Journal-ref: Graphs and Combinatorics 33:473-484, 2017

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

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

Title: An example of a non non-archimedean Polish group with ample generics

Maciej Malicki

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

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

Title: Connected Polish groups with ample generics

Adriane Kaïchouh, François Le Maître

Comments: New version mentioning the results Malicki obtained independently and simultaneously https://arxiv.boxedpaper.com/abs/1503.03919, which also answer Kechris and Rosendal's question in a different way. Comments welcome!

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

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

Title: Dyck algebras, interval temporal logic and posets of intervals

Luca Ferrari

Comments: 17 pages, 3 figures

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)

[61] arXiv:1503.05204 (cross-list from math.GN) [pdf, other]

Title: Universal and homogeneous structures on the Urysohn and Gurarij spaces

Michal Doucha

Comments: This paper contains new proofs and extends the results of the earlier draft arXiv:1305.0501. In the version 2, some arguments were improved. The third version contains updated information about the author's grant

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

[62] arXiv:1503.05602 (cross-list from math.PR) [pdf, other]

Title: A note on probability and Hilbert's VI problem

Alberto Gandolfi

Comments: Paper has been completely revised. Main results are still the same, but additional results have been added, such as the relation between independence and joint perceivability

Subjects: Probability (math.PR); Algebraic Geometry (math.AG); Logic (math.LO)

[63] arXiv:1503.06356 (cross-list from math.FA) [pdf, other]

Title: Uncountable equilateral sets in Banach spaces of the form $C(K)$

Piotr Koszmider

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

[64] arXiv:1503.07072 (cross-list from math.CT) [pdf, other]

Title: Products of families of types in the C-systems defined by a universe category

Vladimir Voevodsky

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

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

Title: First-order limits, an analytical perspective

Jaroslav Nesetril (IUUK), Patrice Ossona de Mendez (IUUK, CAMS)

Journal-ref: European Journal of Combinatorics, Volume 52, Part B, 2016, Pages 368-388

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

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

Title: Graphs Identified by Logics with Counting

Sandra Kiefer, Pascal Schweitzer, Erkal Selman

Comments: 33 pages, 8 Figures

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Logic (math.LO)

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

Title: Geometry of Interaction for MALL via Hughes-vanGlabbeek Proof-Nets

Masahiro Hamano

Comments: 37 pages

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