Logic

Authors and titles for February 2006

[1] arXiv:math/0602034 [pdf, other]

Title: Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations

Michael F. Singer

Comments: 6 pages

Subjects: Logic (math.LO)

[2] arXiv:math/0602053 [pdf, other]

Title: Towards a Definition of an Algorithm

Noson S. Yanofsky

Comments: 38 pages. Fixed typos. Added Refs

Journal-ref: Journal of Logic and Computation 2010;

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

[3] arXiv:math/0602126 [pdf, other]

Title: An aleph-zero-categorical theory which is not G-compact and does not have AZ-enumerations

Al.A.Ivanov

Comments: 14 pages, AMSLaTeX

Subjects: Logic (math.LO)

[4] arXiv:math/0602203 [pdf, other]

Title: Theory of square-like abelian groups is decidable

Oleg Belegradek

Comments: 10 pages, AMS-LaTeX, minor formatting change in abstract

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

[5] arXiv:math/0602415 [pdf, other]

Title: Decidability of the Natural Numbers with the Almost-All Quantifier

David Marker, Theodore A. Slaman

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

[6] arXiv:math/0602439 [pdf, other]

Title: Turing Incomparability in Scott Sets

Antonin Kucera, Theodore A. Slaman

Subjects: Logic (math.LO)

[7] arXiv:math/0602482 [pdf, other]

Title: Degrees of rigidity for Souslin trees

Joel David Hamkins (The City University of New York), Gunter Fuchs (Westfälische Wilhelms-Universität Münster)

Comments: 33 pages

Subjects: Logic (math.LO)

[8] arXiv:math/0602483 [pdf, other]

Title: Infinite time computable model theory

Joel David Hamkins (The City University of New York), Russell Miller (The City University of New York), Daniel Seabold (Hofstra University), Steve Warner (Hofstra University)

Comments: 32 pages

Subjects: Logic (math.LO)

[9] arXiv:math/0602493 [pdf, other]

Title: The dimension of a variety

Ewa Graczyńska, Dietmar Schweigert

Comments: The results of the paper were presented at the workshop AAA71 and CYA21 at Bȩdlewo, Poland on February 11, 2006. the paper is submitted to Discussiones Mathematicae Algebra and Stochastc Methods, special issue

Journal-ref: published in Discussiones Mathematicae, General Algebra and Applications, 27, 2007, pp. 35--47

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

[10] arXiv:math/0602544 [pdf, other]

Title: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Kristian Stoevring

Comments: To appear in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 2, Issue 2 (March 16, 2006) lmcs:2249

Subjects: Logic (math.LO)

[11] arXiv:cs/0602011 (cross-list from cs.LO) [pdf, other]

Title: The intuitionistic fragment of computability logic at the propositional level

Giorgi Japaridze

Journal-ref: Annals of Pure and Applied Logic 147 (2007), pp. 187-227

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

[12] arXiv:math/0602196 (cross-list from math.DG) [pdf, other]

Title: The theorem of the complement for nested subpfaffian sets

Jean-Marie Lion, Patrick Speissegger

Comments: final version before publication

Journal-ref: Duke Math. J. 155, no. 1 (2010), 35-90

Subjects: Differential Geometry (math.DG); Logic (math.LO)

[13] arXiv:math/0602469 (cross-list from math.GM) [pdf, other]

Title: An approach to non-standard analysis

Eliahu Levy

Comments: 8 pages, some corrections and clarifications made. v4: correction of a misstatement about cardinalities in saturation and some small improvements of presentation

Subjects: General Mathematics (math.GM); Logic (math.LO)

[14] arXiv:math/0602511 (cross-list from math.CO) [pdf, other]

Title: On the number of two-dimensional threshold functions

Max A. Alekseyev

Comments: 17 pages, 2 figures

Journal-ref: SIAM J. Discrete Math. 24(4), pp. 1617-1631 (2010)

Subjects: Combinatorics (math.CO); Logic (math.LO); Metric Geometry (math.MG)

[15] arXiv:math/0602541 (cross-list from math.NT) [pdf, other]

Title: First-order definitions in function fields over anti-Mordellic fields

Bjorn Poonen, Florian Pop

Comments: 12 pages

Journal-ref: Model theory with applications to algebra and analysis. Vol. 2, 255-271, London Math. Soc. Lecture Note Ser., 350, Cambridge Univ. Press, Cambridge, 2008

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