Logic

Authors and titles for September 2008

[1] arXiv:0809.0473 [pdf, other]

Title: Integration in algebraically closed valued fields

Yimu Yin

Comments: This new paper and arXiv:1006.2467v1 are the published version of the old paper. To appear in the Annals of Pure and Applied Logic

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

[2] arXiv:0809.0538 [pdf, other]

Title: Boolean Algebras and Logic

Cheng Hao

Comments: This paper has been withdrawn by the author. withdrawn

Subjects: Logic (math.LO)

[3] arXiv:0809.1187 [pdf, other]

Title: Representation theory of mv-algebras

Eduardo J. Dubuc, Yuri A. Poveda

Comments: 35 pages

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

[4] arXiv:0809.2267 [pdf, other]

Title: Partitions of trees and ACA'

Bernard A. Anderson, Jeffry L. Hirst

Comments: Final version for publication. Very minor changes. 5 pages

Journal-ref: Archive for Mathematical Logic, Volume 48, Number 3, 2009, pp. 227-230

Subjects: Logic (math.LO)

[5] arXiv:0809.2494 [pdf, other]

Title: Coherence for Modalities

K. Dosen, Z. Petric

Comments: 43 pages, minor additions

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

[6] arXiv:0809.3330 [pdf, other]

Title: Unary Automatic Graphs: An Algorithmic Perspective

Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes

Comments: 19 pages, 3 figures. Extended abstract in TAMC 2008 LNCS 4978 pp 548-559

Subjects: Logic (math.LO)

[7] arXiv:0809.3425 [pdf, other]

Title: Model Theoretic Complexity of Automatic Structures

Bakhadyr Khoussainov, Mia Minnes

Comments: 23 pages. Extended abstract appeared in Proceedings of TAMC '08, LNCS 4978 pp 514-525

Subjects: Logic (math.LO)

[8] arXiv:0809.3430 [pdf, other]

Title: Three Lectures on Automatic Structures

Bakhadyr Khoussainov, Mia Minnes

Comments: 43 pages, based on tutorial lectures at Logic Colloquium 2007

Subjects: Logic (math.LO)

[9] arXiv:0809.3441 [pdf, other]

Title: Superstable groups acting on trees

Abderezak Ould Houcine

Comments: 2 figures

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

[10] arXiv:0809.3815 [pdf, other]

Title: Boolean Factor Congruences and Property (*)

Pedro Sánchez Terraf

Subjects: Logic (math.LO)

[11] arXiv:0809.3822 [pdf, other]

Title: Factor Congruences in Semilattices

Pedro Sánchez Terraf

Comments: 10 pages and 6 figures; extended introduction

Subjects: Logic (math.LO)

[12] arXiv:0809.3860 [pdf, other]

Title: A note on ccc forcings

Marcin Sabok

Subjects: Logic (math.LO)

[13] arXiv:0809.4940 [pdf, other]

Title: Higher homotopy of groups definable in o-minimal structures

Alessandro Berarducci, Marcello Mamino, Margarita Otero

Comments: 13 pages, to be published in the Israel Journal of Mathematics

Subjects: Logic (math.LO)

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

Title: Topological Complexity of omega-Powers : Extended Abstract

Olivier Finkel (LIP), Dominique Lecomte (UMR 7586)

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

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

Title: The relative commutant of separable C*-algebras of real rank zero

Ilijas Farah

Comments: To appear in Journal of Functional Analysis

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

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

Title: Graph-based Logic and Sketches

Atish Bagchi, Charles Wells

Comments: PDFLaTeX with xy-pic. 112 pages, 182 diagrams

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

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

Title: RCF1: Theories of PR Maps and Partial PR Maps

Michael Pfender

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

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

Title: RCF2: Evaluation and Consistency

Michael Pfender

Comments: Full version. Inserted Sections 3-7, Coda. Introduction and summary unchanged

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

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

Title: Q-modules are Q-suplattices

Isar Stubbe

Comments: 12 pages

Journal-ref: Theory and Applications of Categories, Vol. 19, No. 4, 2007, pp. 50-60

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

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

Title: Notes on automorphisms of ultrapowers of II_1 factors

David Sherman

Comments: 11 pages

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

[21] arXiv:0809.4814 (cross-list from math.CA) [pdf, other]

Title: Reduction of the Number of Quantifiers in Real Analysis through Infinitesimals (Master Thesis, Mathematics Department, California Polytechnic State University, San Luis Obispo)

Raymond Cavalcante

Comments: under the supervision of Todor D. Todorov; 61 pages;

Subjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)

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

Title: RCF3: Map-Code Interpretation via Closure

Michael Pfender

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

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

Title: Dimension and singularity theory for local rings of finite embedding dimension

Hans Schoutens

Journal-ref: Journal of Algebra 386 (2013), 1-60

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