Logic

Authors and titles for June 2014

[51] arXiv:1406.7730 [pdf, other]

Title: Generalized Bohr compactification and model-theoretic connected components

Krzysztof Krupinski, Anand Pillay

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

[52] arXiv:1406.7850 [pdf, other]

Title: Isometrisable group actions

Itaï Ben Yaacov (ICJ), Julien Melleray (ICJ)

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

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

Title: Univalent universes for elegant models of homotopy types

Denis-Charles Cisinski

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

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

Title: Countable dense homogeneous filters and the Menger covering property

Dušan Repovš, Lyubomyr Zdomskyy, Shuguo Zhang

Comments: 8 pages

Journal-ref: Fundamenta Mathematicae 224 (2014), 233-240

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

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

Title: Productively Lindelöf spaces and the covering property of Hurewicz

Dušan Repovš, Lyubomyr Zdomskyy

Comments: 6 pages

Journal-ref: Topology and its Applications 169 (2014), 16-20

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

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

Title: Totally disconnected locally compact groups locally of finite rank

Phillip Wesolek

Comments: Referee's suggestions incorporated. Main theorems for the general locally pro-nilpotent and the general locally of finite rank cases improved

Journal-ref: Math. Proc. Camb. Phil. Soc. 158 (2015) 505-530

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

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

Title: Homomorphisms on infinite direct products of groups, rings and monoids

George M. Bergman

Comments: 26 pages. Copy at this http URL may be updated more frequently than arXiv copy. Version 2 has minor revisions in wording etc. from version 1

Journal-ref: Pacific J. Math. 274 (2015) 451-495

Subjects: Group Theory (math.GR); Logic (math.LO); Rings and Algebras (math.RA)

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

Title: A Theory of Branches for Algebraic Curves

Tristram de Piro

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

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

Title: Natural models of homotopy type theory

Steve Awodey

Comments: 51 pages

Journal-ref: Mathematical Structures in Computer Science, 1--46, 2016

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

[60] arXiv:1406.3526 (cross-list from quant-ph) [pdf, other]

Title: Quantum Logic as Classical Logic

Simon Kramer

Comments: added Proposition 3 and Appendix A

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

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

Title: Separation of analytic sets by rectangles of low complexity

Rafael Zamora

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

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

Title: On MITL and alternating timed automata over infinite words

Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts

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

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

Title: The number system hidden inside the Boolean satisfiability problem

Keum-Bae Cho

Comments: 15 pages, 9 figures

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

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

Title: Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)

Christian Retoré

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

[65] arXiv:1406.4712 (cross-list from cs.DS) [pdf, other]

Title: An algorithm for Boolean satisfiability based on generalized orthonormal expansion

Virendra Sule

Comments: 24 pages

Subjects: Data Structures and Algorithms (cs.DS); Logic (math.LO)

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

Title: Cyclic theories

Olivia Caramello, Nicholas Wentzlaff

Comments: 25 pages

Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Logic (math.LO)

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

Title: Tukey classification of some ideals in $ω$ and the lattices of weakly compact sets in Banach spaces

Antonio Avilés, Grzegorz Plebanek, José Rodríguez

Comments: The main open problem stated in the first version of the preprint is now solved

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

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

Title: The Expressive Power of Modal Dependence Logic

Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema

Comments: 19 pages

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

[69] arXiv:1406.7155 (cross-list from math.DS) [pdf, other]

Title: Subshifts, MSO Logic, and Collapsing Hierarchies

Ilkka Törmä

Comments: 12 pages, 5 figures. To appear in conference proceedings of TCS 2014, published by Springer

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