Logic

Authors and titles for March 2009

[1] arXiv:0903.0810 [pdf, other]

Title: Hausdorff gaps reconstructed from Luzin gaps

Piotr Kalemba, Szymon Plewik

Comments: 7 pages

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

[2] arXiv:0903.1070 [pdf, other]

Title: Polish group actions and computability

Aleksander Ivanov, Barbara Majcher-Iwanow

Comments: AMS LaTeX file, Section 2.2 is corrected, there are some minor changes in other places

Subjects: Logic (math.LO)

[3] arXiv:0903.1097 [pdf, other]

Title: Fourier transform of the additive group in algebraically closed valued fields

Yimu Yin

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

[4] arXiv:0903.1338 [pdf, other]

Title: Combinatorial geometries of field extensions

Jakub Gismatullin

Comments: 11 pages, 1 figure

Journal-ref: Bulletin of the London Mathematical Society, 40 (2008), no. 5, 789--800

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

[5] arXiv:0903.1367 [pdf, other]

Title: Size and Logic

Dov Gabbay, Karl Schlechta (LIF)

Subjects: Logic (math.LO)

[6] arXiv:0903.1384 [pdf, other]

Title: Low functions of reals

Katrin Tent, Martin Ziegler

Comments: We have added a reference to a paper of E. Specker

Subjects: Logic (math.LO)

[7] arXiv:0903.1442 [pdf, other]

Title: Henson and Rubel's Theorem for Zilber's Pseudoexponentiation

Ahuva C. Shkop

Subjects: Logic (math.LO)

[8] arXiv:0903.1529 [pdf, other]

Title: Proof mining in metric fixed point theory and ergodic theory

Laurentiu Leustean

Comments: appeared as OWP 2009-05, Oberwolfach Preprints; 71 pages

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

[9] arXiv:0903.2553 [pdf, other]

Title: All reducts of the random graph are model-complete

Manuel Bodirsky, Michael Pinsker

Comments: Technical report not intended for publication in a journal. Subsumed by the more recent article 1003.4030. Length 14 pages.

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

[10] arXiv:0903.2571 [pdf, other]

Title: Extensions of Boolean isometries

Antonio Avilés

Journal-ref: Discrete Math. 297, No. 1-3, 1-12 (2005)

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

[11] arXiv:0903.2767 [pdf, other]

Title: A Godel Modal Logic

Xavier Caicedo, Ricardo Oscar Rodriguez

Subjects: Logic (math.LO)

[12] arXiv:0903.3428 [pdf, other]

Title: Introduction to: classification theory for abstract elementary class

Saharon Shelah

Subjects: Logic (math.LO)

[13] arXiv:0903.3614 [pdf, other]

Title: Maximal failures of sequence locality in a.e.c

Saharon Shelah

Subjects: Logic (math.LO)

[14] arXiv:0903.4051 [pdf, other]

Title: A proof of completeness for continuous first-order logic

Itaï Ben Yaacov (ICJ), Arthur Paul Pedersen

Journal-ref: Journal of Symbolic Logic 75, 1 (2010) 168-190

Subjects: Logic (math.LO)

[15] arXiv:0903.4691 [pdf, other]

Title: Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. V

Paolo Lipparini

Comments: 11 pages

Subjects: Logic (math.LO)

[16] arXiv:0903.4957 [pdf, other]

Title: Continuous first order logic for unbounded metric structures

Itaï Ben Yaacov (ICJ)

Journal-ref: Journal of Mathematical Logic 8, 2 (2008) 197-223

Subjects: Logic (math.LO)

[17] arXiv:0903.5505 [pdf, other]

Title: Asymptotically almost all \lambda-terms are strongly normalizing

René David (LAMA), Katarzyna Grygiel, Jakub Kozic, Christophe Raffalli (LAMA), Guillaume Theyssier (LAMA), Marek Zaionc

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 1 (February 15, 2013) lmcs:848

Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Elementary embeddings in torsion-free hyperbolic groups

Chloé Perin

Comments: The statement and the proof of Proposition 5.11 are corrected. All the other results remain unchanged

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

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

Title: On Systems of Equations over Free Products of Groups

Montserrat Casals-Ruiz, Ilya Kazachkov

Comments: 71 pages, 13 figures

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

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

Title: Hardy type derivations on generalized series fields

Salma Kuhlmann, Mickael Matusinski

Comments: 26 pages, 2 figures

Journal-ref: J. Algebra 345 (2011), 171-189

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

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

Title: Zero subspaces of polynomials on l1(Gamma)

Antonio Avilés, Stevo Todorcevic

Comments: Published in special issue dedicated to Isaac Namioka

Journal-ref: J. Math. Anal. Appl. 350, No. 2, 427-435 (2009)

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

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

Title: Groups Elementarily Equivalent to a Free 2-nilpotent Group of Finite Rank

Alexei G. Myasnikov, Mahmood Sohrabi

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

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

Title: A remark on groups without finite quotients

Jakub Gismatullin, Alexey Muranov

Comments: v3: 2 pages, completely rewritten, some remarks and 2 references removed, 1 reference added.

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

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

Title: Boolean metric spaces and Boolean algebraic varieties

Antonio Avilés

Journal-ref: Commun. Algebra 32, No. 5, 1805-1822 (2004)

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

[25] arXiv:0903.3433 (cross-list from cs.IT) [pdf, other]

Title: Fixed point theorems on partial randomness

Kohtaro Tadaki

Comments: 19 pages, LaTeX2e, no figures

Journal-ref: Ann. Pure Appl. Logic 163 (2012) 763-774

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Logic (math.LO); Probability (math.PR)

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

Title: On the universal theory of torsion and lacunary hyperbolic groups

D. Osin

Comments: Some references are added and corrected

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

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

Title: The classification problem for von Neumann factors

Roman Sasyk, Asger Tornquist

Comments: To appear in the Journal of Functional Analysis

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

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

Title: On Decidability Properties of One-Dimensional Cellular Automata

Olivier Finkel (ELM, Lip)

Comments: Final version; to appear in the Journal of Cellular Automata

Journal-ref: Journal of Cellular Automata 6, 2-3 (2011) 181-193

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

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

Title: The average value inequality in sequential effect algebras

Shen Jun, Wu Junde

Journal-ref: Acta Math. Sinica English Series, 2010(26), 831-836

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

[30] arXiv:0903.5116 (cross-list from math-ph) [pdf, other]

Title: Remarks on the sequential effect algebras

Shen Jun, Wu Junde

Journal-ref: Report Math. Physi. 63(2009), 441-446

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

[31] arXiv:0903.5120 (cross-list from math-ph) [pdf, other]

Title: The n-th root of sequential effect algebras

Shen Jun, Wu Junde

Journal-ref: J. Math. Phys. 51(2010), 063514-063519

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