Logic

Authors and titles for October 2012

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

Title: MAD Families of Projections on l^2 and Real-Valued Functions on Omega

Tristan Bice

Journal-ref: Arch. Math. Log. 50(7-8) (2011) 791-801

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

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

Title: A characterization of the Menger property by means of ultrafilter convergence

Paolo Lipparini

Comments: v.2; 13 pages, some improvements, some corrections, added introduction and divided into sections

Journal-ref: Topology and its Applications Volume 160, Issue 18, 2505--2513, 2013

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

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

Title: A twisted theorem of Chebotarev

Ivan Tomašić

Comments: arXiv admin note: substantial text overlap with arXiv:1112.0802

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

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

Title: Semi-addivitity and acyclicity

Hans Schoutens

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

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

Title: Les espaces de Berkovich sont modérés, d'après E. Hrushovski et F. Loeser

Antoine Ducros

Comments: 45 pages, french

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

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

Title: Finite Morphisms between Projective Varieties and Skeleta

John Welliaveetil

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

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

Title: Realizability algebras III: some examples

Jean-Louis Krivine

Comments: 30 pages

Journal-ref: Mathematical Structures in Computer Science Volume 28, Issue 1 January 2018 , pp. 45-76

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

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

Title: Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies

M. Cialdea Mayer

Comments: This paper has been withdrawn by the author because it is superseded by a new one: A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies(extended version)

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

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

Title: Counting lattice points and o-minimal structures

Fabrizio Barroero, Martin Widmer

Comments: Revised version

Subjects: Number Theory (math.NT); Logic (math.LO); Metric Geometry (math.MG)

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

Title: The Objective Indefiniteness Interpretation of Quantum Mechanics

David Ellerman

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Logic (math.LO); History and Philosophy of Physics (physics.hist-ph)

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

Title: Boolean Differential Operators

Jorge Catumba, Rafael Diaz

Journal-ref: Comment. Math. Univ. Carolin. 55 (2014) 141-158

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

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

Title: Productively Lindelof and Indestructibly Lindelof Spaces

Haosui Duanmu, Franklin D. Tall, Lyubomyr Zdomskyy

Comments: 17 pages, submitted. Comments are welcome

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

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

Title: The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Comments: Preprint submitted to Fuzzy Sets and Systems

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