Logic

Authors and titles for February 2013

[1] arXiv:1302.0365 [pdf, other]

Title: The class of infinite dimensional quasipolaydic equality algebras is not finitely axiomatizable over its diagonal free reducts

Tarek Sayed Ahmed

Subjects: Logic (math.LO)

[2] arXiv:1302.0380 [pdf, other]

Title: Finite choice, convex choice and finding roots

Stéphane Le Roux (TU Darmstadt), Arno Pauly (University of Cambridge)

Comments: An earlier version was titled "Closed choice: Cardinality vs convex dimension"

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 2, 2015) lmcs:1607

Subjects: Logic (math.LO); Computational Geometry (cs.CG)

[3] arXiv:1302.0393 [pdf, other]

Title: Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus

Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh

Comments: 29 pages, pending publication in Annals of Pure and Applied Logic

Subjects: Logic (math.LO); Computation and Language (cs.CL); Category Theory (math.CT)

[4] arXiv:1302.0447 [pdf, other]

Title: Functional Dependence in Strategic Games

Kristine Harjes, Pavel Naumov

Journal-ref: Notre Dame J. Formal Logic 57, no. 3 (2016), 341-353

Subjects: Logic (math.LO); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[5] arXiv:1302.0454 [pdf, other]

Title: Calibrating the complexity of Delta 2 sets via their changes

Andre Nies

Subjects: Logic (math.LO)

[6] arXiv:1302.0580 [pdf, other]

Title: Complexity of equivalence relations and preorders from computability theory

Egor Ianovski, Keng Meng Ng, Russell Miller, Andre Nies

Comments: To appear in J. Symb. Logic

Journal-ref: Journal of Symbolic Logic 79 (2014) 3, 859-881

Subjects: Logic (math.LO)

[7] arXiv:1302.0828 [pdf, other]

Title: Separating principles below Ramsey's Theorem for Pairs

Manuel Lerman, Reed Solomon, Henry Towsner

Subjects: Logic (math.LO)

[8] arXiv:1302.1207 [pdf, other]

Title: A preliminary univalent formalization of the p-adic numbers

Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren

Comments: 57 pages

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

[9] arXiv:1302.1356 [pdf, other]

Title: Lipschitz and uniformly continuous reducibilities on ultrametric Polish spaces

Luca Motto Ros, Philipp Schlicht

Comments: 37 pages, 2 figures, revised version, accepted for publication in the Festschrift that will be published on the occasion of Victor Selivanov's 60th birthday by Ontos-Verlag. A mistake has been corrected in Section 6

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

[10] arXiv:1302.1368 [pdf, other]

Title: On the finitizability problem in algebraic logic; recent results

Tarek Sayed Ahmed

Subjects: Logic (math.LO)

[11] arXiv:1302.1488 [pdf, other]

Title: On Maximum Conservative Extensions

Henry Towsner

Subjects: Logic (math.LO)

[12] arXiv:1302.2256 [pdf, other]

Title: A packed Ramsey's theorem and computability theory

Stephen Flood

Comments: 26 pages, 1 figure

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

[13] arXiv:1302.2279 [pdf, other]

Title: Expressing Second-order Sentences in Intuitionistic Dependence Logic

Fan Yang

Comments: 18 pages

Journal-ref: Studia Logica, April 2013, Volume 101, Issue 2, pp. 323-342

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

[14] arXiv:1302.2975 [pdf, other]

Title: A lightface analysis of the differentiability rank

Linda Brown Westrick

Comments: 25 pages, 8 figures

Subjects: Logic (math.LO)

[15] arXiv:1302.3037 [pdf, other]

Title: Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience

Michael Rathjen

Comments: 11 pages

Subjects: Logic (math.LO)

[16] arXiv:1302.3043 [pdf, other]

Title: On the multi dimensional modal logic of substitutions

Tarek Sayed Ahmed, Mohammad Assem

Subjects: Logic (math.LO)

[17] arXiv:1302.3426 [pdf, other]

Title: Ordered Black Boxes: Existence

Saharon Shelah

Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:0710.0157

Subjects: Logic (math.LO)

[18] arXiv:1302.3431 [pdf, other]

Title: More on Compactness of Chromatic Numbers

Saharon Shelah

Comments: 8 pages

Subjects: Logic (math.LO)

[19] arXiv:1302.3449 [pdf, other]

Title: On CON(${\mathfrak d}_λ>$ cov$_λ$(meagre))

Saharon Shelah

Comments: The paper was multiply submitted by mistake. Correct number arXiv:0904.0817

Subjects: Logic (math.LO)

[20] arXiv:1302.3465 [pdf, other]

Title: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang

Comments: To appear in a special issue of Journal of Philosophical Logic

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[21] arXiv:1302.3686 [pdf, other]

Title: Logic Blog 2012

Andre Nies (editor)

Subjects: Logic (math.LO)

[22] arXiv:1302.3973 [pdf, other]

Title: Infinite sequential Nash equilibrium

Stephane Le Roux

Comments: 14 pages, will be published in LMCS-2011-653

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 2 (May 22, 2013) lmcs:1190

Subjects: Logic (math.LO)

[23] arXiv:1302.4009 [pdf, other]

Title: Topological Subset Space Models for Public Announcements

Adam Bjorndahl

Comments: 21 pages, 2 figures

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

[24] arXiv:1302.4229 [pdf, other]

Title: Grothendieck Rings of Theories of Modules

Amit Kuber

Comments: 42 Pages

Journal-ref: Annals of Pure and Applied Logic, 166(3) (2015), 369-407

Subjects: Logic (math.LO)

[25] arXiv:1302.4377 [pdf, other]

Title: Transfinite game values in infinite chess

C. D. A. Evans, Joel David Hamkins

Comments: 38 pages. 18 figures. Commentary concerning this paper can be made at this http URL. (v2 makes minor changes, including an improvement to the position in figure 3, and a new theorem 9.)

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

[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)