Logic

Authors and titles for May 2010

[26] arXiv:1005.0973 (cross-list from gr-qc) [pdf, other]

Title: First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

Gergely Székely

Comments: PhD thesis Eötvös Loránd University

Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Logic (math.LO)

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

Title: Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction

Manuel Bodirsky, Peter Jonsson, Timo von Oertzen

Comments: 15 pages; in this version, some editing mistakes in the conclusion have been fixed

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

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

Title: Undecidability of linear inequalities in graph homomorphism densities

Hamed Hatami, Serguei Norine

Comments: 17 pages

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

[29] arXiv:1005.3678 (cross-list from math-ph) [pdf, other]

Title: Sharply Orthocomplete Effect Algebras

Martin Kalina, Jan Paseka, Zdenka Riečanová

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

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

Title: On Infinitary Rational Relations and Borel Sets

Olivier Finkel (ELM)

Journal-ref: Fourth International Conference on Discrete Mathematics and Theoretical Computer Science DMTCS'03, 7 - 12 July 2003, Dijon, France., France (2003)

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

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

Title: On Omega Context Free Languages which are Borel Sets of Infinite Rank

Olivier Finkel (ELM)

Comments: The supremum of the set of Borel ranks of omega-context-free languages is actually greater than the first non-recursive ordinal. This has been proved later in a paper "Borel Ranks and Wadge Degrees of Omega Context Free Languages" published in the journal Mathematical Structures in Computer Science (2006)

Journal-ref: Theoretical Computer Science 299 (1-3) (2003) 327-346

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

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

Title: An Effective Extension of the Wagner Hierarchy to Blind Counter Automata

Olivier Finkel (ELM)

Journal-ref: Computer Science Logic , 15th International Workshop, CSL 2001, 10th Annual Conference of the European Association for Computer Science Logic, Paris, September 10-13, 2001., France (2001)

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