Logic

Authors and titles for April 2010

[1] arXiv:1004.0181 [pdf, other]

Title: Conflict free colorings of (strongly) almost disjoint set-systems

András Hajnal, István Juhász, Lajos Soukup, Zoltán Szentmiklóssy

Comments: 45 pages

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

[2] arXiv:1004.0741 [pdf, other]

Title: Model theory of operator algebras II: Model theory

Ilijas Farah, Bradd Hart, David Sherman

Comments: 20 pages; references are not missing this time

Subjects: Logic (math.LO); Operator Algebras (math.OA)

[3] arXiv:1004.1128 [pdf, other]

Title: Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law

Jason Bell, Stanley Burris, Karen Yeats

Comments: 18 pages

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

[4] arXiv:1004.1696 [pdf, other]

Title: Computational Complexity of Quantum Satisfiability

Christian Herrmann, Martin Ziegler

Comments: full version to extended abstract [HeZi11]

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

[5] arXiv:1004.1810 [pdf, other]

Title: Automorphism towers and automorphism groups of fields without Choice

Itay Kaplan, Saharon Shelah

Subjects: Logic (math.LO)

[6] arXiv:1004.1879 [pdf, other]

Title: The relation of rapid ultrafilters and Q-points to van der Waerden ideal

Jana Flašková

Subjects: Logic (math.LO)

[7] arXiv:1004.2172 [pdf, other]

Title: Baire class one colorings and a dichotomy for countable unions of $F_σ$ rectangles

Dominique Lecomte (IMJ)

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

[8] arXiv:1004.2239 [pdf, other]

Title: Intuitionism and the liar paradox

Nik Weaver

Comments: 13 pages

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

[9] arXiv:1004.3342 [pdf, other]

Title: Models of PA: when two elements are necessarily order automorphic

Saharon Shelah

Subjects: Logic (math.LO)

[10] arXiv:1004.4777 [pdf, other]

Title: On the Monadic Second-Order Transduction Hierarchy

Achim Blumensath, Bruno Courcelle

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 2 (June 22, 2010) lmcs:1208

Subjects: Logic (math.LO)

[11] arXiv:1004.4798 [pdf, other]

Title: Superatomic Boolean algebras constructed from strongly unbounded functions

Juan Carlos Martinez, Lajos Soukup

Comments: 13 pages

Subjects: Logic (math.LO)

[12] arXiv:1004.4832 [pdf, other]

Title: A model-theoretic counterpart to Moishezon morphisms

Rahim Moosa

Comments: 12 pages

Subjects: Logic (math.LO)

[13] arXiv:1004.5047 [pdf, other]

Title: Semi-monotone sets

Saugata Basu, Andrei Gabrielov, Nicolai Vorobjov

Comments: 21 page, 1 figure

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

[14] arXiv:1004.5542 [pdf, other]

Title: Linear ROD subsets of Borel partial orders are countably cofinal in the Solovay model

Vladimir Kanovei

Comments: 5 pages

Journal-ref: An infinity which depends on the axiom of choice, Applied Mathematics and Computation, Vol. 218, Iss. 16, April 15 2012, P. 8196-8202

Subjects: Logic (math.LO)

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

Title: Hereditarily Hurewicz spaces and Arhangel'skii sheaf amalgamations

Boaz Tsaban, Lyubomyr Zdomskyy

Comments: To appear in Jouranl of the European Mathematical Society

Journal-ref: Journal of the European Mathematical Society 12 (2012), 353-372

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

[16] arXiv:1004.0838 (cross-list from cs.GT) [pdf, other]

Title: How powerful are integer-valued martingales?

Laurent Bienvenu, Frank Stephan, Jason Teutsch

Comments: Long version of the CiE 2010 paper.

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

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

Title: Existential Second Order Logic Expression With Horn First Order for Maximum Clique (Decision Version)

Prabhu Manyem

Comments: Manuscript withdrawn, because results are incorrect. If phi = phi_1 AND phi_2, and phi is a Horn formula, it does NOT mean that both phi_1 and phi_2 are Horn formulae. Furthermore, the cardinality constraint CANNOT be expressed as a universal Horn sentence in ESO (NOT even when the structure is ordered). Graedel's theorem is valid at a lower (machine) level, but probably NOT at a higher level

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

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

Title: Nested Sequents

Kai Brünnler

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

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

Title: The character spectrum of beta(N)

Saharon Shelah

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

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

Title: Introduction to clarithmetic II

Giorgi Japaridze

Journal-ref: Information and Computation 247 (2016), pp.290-312

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO); Number Theory (math.NT)

[21] arXiv:1004.3561 (cross-list from quant-ph) [pdf, other]

Title: Topos Quantum Logic and Mixed States

Andreas Doering

Comments: 25 pages; to appear in Electronic Notes in Theoretical Computer Science (6th Workshop on Quantum Physics and Logic, QPL VI, Oxford, 8.--9. April 2009), eds. B. Coecke, P. Panangaden, P. Selinger (2010)

Journal-ref: In Proceedings of Workshop on Quantum Physics and Logic (QPL 09), eds. B. Coecke, P. Panangaden, P. Selinger, Electronic Notes in Theoretical Computer Science 270, Issue 2, 59--77 (2011)

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Logic (math.LO)

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

Title: Transport of finiteness structures and applications

Christine Tasson (PPS), Lionel Vaux (IML)

Journal-ref: Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016

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

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

Title: Distance Constraint Satisfaction Problems

Manuel Bodirsky, Victor Dalmau, Barnaby Martin, Antoine Mottet, Michael Pinsker

Comments: 35 pages, 2 figures

Journal-ref: Information and Computation. Vol. 247, pp. 87-105. 2016

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

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

Title: The yoga of schemic Grothendieck rings, a topos-theoretical approach

Hans Schoutens

Comments: This is the companion to "Schemic Grothendieck rings and motivic rationality" (arXiv:0910.0684), renamed henceforth "The dogma of schemic Grothendieck rings, a model-theoretic approach", but entirely from a topos-theoretical point of view.

Subjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT); Logic (math.LO)

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

Title: Homogeneity and prime models in torsion-free hyperbolic groups

Abderezak Ould Houcine

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