Logic

Authors and titles for February 2013

[26] arXiv:1302.4550 [pdf, other]

Title: Hausdorff gaps and towers in P(ω)/Fin

Piotr Borodulin-Nadzieja, David Chodounský

Comments: 34 pages

Subjects: Logic (math.LO)

[27] arXiv:1302.4568 [pdf, other]

Title: Soft Games

Naim Çağman, İrfan Deli

Subjects: Logic (math.LO)

[28] arXiv:1302.4841 [pdf, other]

Title: A.E.C. with not too many models

Saharon Shelah

Subjects: Logic (math.LO)

[29] arXiv:1302.5393 [pdf, other]

Title: The omega-rule interpretation of transfinite provability logic

David Fernández-Duque, Joost J. Joosten

Subjects: Logic (math.LO)

[30] arXiv:1302.5446 [pdf, other]

Title: Vapnik-Chervonenkis density on indiscernible sequences, stability, and the maximum property

Hunter R. Johnson

Comments: 12 pages

Journal-ref: Notre Dame J. Formal Logic 56, no. 4 (2015), 583-593

Subjects: Logic (math.LO)

[31] arXiv:1302.5609 [pdf, other]

Title: Dualities in modal logic from the point of view of triples

Dirk Hofmann, Pedro Nora

Subjects: Logic (math.LO)

[32] arXiv:1302.5676 [pdf, other]

Title: Every strongly summable ultrafilter on $\bigoplus\mathbb Z_2$ is sparse

David J. Fernández Bretón

Comments: This is the final version of a paper that contains the answer to a question that appeared in an article of Hindman, Steprāns and Strauss (Semigroups in which all Strongly Summable Ultrafilters are Sparse, New York J. Math. 18 (2012), 835-848. Zbl pre06098874). It is also available via this http URL

Journal-ref: New York Journal of Mathematics 19 (2013) 117-129

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

[33] arXiv:1302.7069 [pdf, other]

Title: Learning Theory in the Arithmetic Hierarchy

Achilles Beros

Comments: 19 pages

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

[34] arXiv:1302.0778 (cross-list from math.GT) [pdf, other]

Title: On graphic lambda calculus and the dual of the graphic beta move

Marius Buliga

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

[35] arXiv:1302.1381 (cross-list from math.AC) [pdf, other]

Title: Tensor products of valued fields

Itaï Ben Yaacov (ICJ)

Subjects: Commutative Algebra (math.AC); Logic (math.LO)

[36] arXiv:1302.3360 (cross-list from cs.CC) [pdf, other]

Title: Lower bounds for the circuit size of partially homogeneous polynomials

Hông Vân Lê

Comments: 25 pages, final version, accepted to Journal of Fundamental and Applied Mathematics. Some missing definitions and coefficients in the last version have been added and corrected now

Journal-ref: Journal of Mathematical Sciences, 225(2017), 639-647 (translated from Journal of Fundamental and Applied Mathematics 20 (2015), 153-179)

Subjects: Computational Complexity (cs.CC); Commutative Algebra (math.AC); Logic (math.LO)

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

Title: Voevodsky's Univalence Axiom in homotopy type theory

Steve Awodey, Álvaro Pelayo, Michael A. Warren

Comments: To appear in Notices of the American Mathematical Society

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

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

Title: Compactness of powers of ω

Paolo Lipparini

Comments: v2 slightly improved

Journal-ref: Bulletin of the Polish Academy of Sciences. Mathematics (2013) Volume: 61, Issue: 3, page 239-246

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

[39] arXiv:1302.5658 (cross-list from math.GT) [pdf, other]

Title: Topologically invariant $σ$-ideals on the Hilbert cube

Taras Banakh, Michal Morayne, Robert Ralowski, Szymon Zeberski

Comments: 14 pages

Journal-ref: Israel J. Math. 209 (2015) 715-743

Subjects: Geometric Topology (math.GT); General Topology (math.GN); Logic (math.LO)

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

Title: Universal homomorphisms, universal structures, and the polymorphism clones of homogeneous structures

Christian Pech, Maja Pech

Comments: corrected several typos

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

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

Title: On a game on graphs

Felix Günther, Irina Mustata

Comments: 10 pages, 5 figures

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

[42] arXiv:1302.6763 (cross-list from math.RT) [pdf, other]

Title: Modules with irrational slope over tubular algebras

Richard Harland, Mike Prest

Comments: minor corrections/improvements to arguments

Subjects: Representation Theory (math.RT); Logic (math.LO)

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

Title: Syllogisms in Rudimentary Linear Logic, Diagrammatically

Ruggero Pagnan

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