Logic

Authors and titles for August 2009

[1] arXiv:0908.0388 [pdf, other]

Title: Mathematical definition of general systems based on semiotics and set theory

DanDan Zou

Subjects: Logic (math.LO)

[2] arXiv:0908.0604 [pdf, other]

Title: Model theory and the Tannakian formalism

Moshe Kamensky

Comments: 25 pages. Paper reorganised, some of the main results are stated more clearly. The part going in the other direction (deducing the model theoretic statement using category theory) moved to arXiv:1012.3185

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

[3] arXiv:0908.1605 [pdf, other]

Title: A co-analytic maximal set of orthogonal measures

Vera Fischer, Asger Tornquist

Comments: Minor corrections in the proof of the main theorem

Subjects: Logic (math.LO)

[4] arXiv:0908.1718 [pdf, other]

Title: The complexity of classification problems for models of arithmetic

Samuel Coskey, Roman Kossak

Comments: 15 pages

Journal-ref: Bulletin of symbolic logic 16(3):345-358, 2010

Subjects: Logic (math.LO)

[5] arXiv:0908.1942 [pdf, other]

Title: Orthonormal bases of Hilbert spaces

Ilijas Farah

Comments: The main result of the note has been known. See Orthonormal bases and quasi-splitting subspaces in pre-Hilbert spaces D. Buhagiar, E. Chetcuti, H. Weber, J. Math. Anal. Appl., 345 (2008) 725-730. and the references thereof. Thanks to Nigel Kalton to pointing this out

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

[6] arXiv:0908.2376 [pdf, other]

Title: Fields with Analytic Structure

Raf Cluckers, Leonard Lipshitz

Comments: 73 pages

Subjects: Logic (math.LO)

[7] arXiv:0908.4111 [pdf, other]

Title: Persistence and NIP in the characteristic sequence

M. E. Malliaris

Journal-ref: Journal of Symbolic Logic, 75, 4 (2010) pp. 1415-1440

Subjects: Logic (math.LO)

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

Title: SPM Bulletin 28

Boaz Tsaban

Comments: Boaz Tsaban is an editor of this Bulletin

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

[9] arXiv:0908.0367 (cross-list from quant-ph) [pdf, other]

Title: Orthomodular-Valued Models for Quantum Set Theory

Masanao Ozawa

Comments: 25 pages, v2: to appear in Rev. Symb. Logic, v3: corrected typos

Journal-ref: Rev. Symb. Logic 10, 782-807 (2017)

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

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

Title: Some Ramsey theorems for finite $n$-colorable and $n$-chromatic graphs

L. Nguyen Van Thé

Comments: 7 pages

Journal-ref: Contrib. Discrete Math., 5 (2), 7 pages, 2010

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

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

Title: The Solecki dichotomy for functions with analytic graphs

Janusz Pawlikowski, Marcin Sabok

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

[12] arXiv:0908.1943 (cross-list from math.OA) [pdf, other]

Title: A dichotomy for the Mackey Borel structure

Ilijas Farah

Comments: To appear in Proceedings of the Asian Logic Colloquium

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

[13] arXiv:0908.2790 (cross-list from math.OA) [pdf, other]

Title: Model theory of operator algebras I: Stability

Ilijas Farah, Bradd Hart, David Sherman

Comments: 15 pages; v3 - some rewriting

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

[14] arXiv:0908.3430 (cross-list from math.QA) [pdf, other]

Title: Renormalization and Computation II: Time Cut-off and the Halting Problem

Yuri I. Manin

Comments: 28 pages

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

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

Title: The Structure of First-Order Causality

Samuel Mimram (PPS)

Journal-ref: Logic in Computer Science, Los Angeles : United States (2009)

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

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

Title: Generalised Hasse-Schmidt varieties and their jet spaces

Rahim Moosa, Thomas Scanlon

Comments: This significantly revised version is to appear in the Proceedings of the London Mathematical Society

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