Logic

Authors and titles for October 2007

[1] arXiv:0710.0130 [pdf, other]

Title: Tests à la Hurewicz dans le plan

Dominique Lecomte (IMJ)

Journal-ref: Fundamenta Mathematicae 156 (1998) 131-165

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

[2] arXiv:0710.0131 [pdf, other]

Title: Uniformisations partielles et critères à la Hurewicz dans le plan

Dominique Lecomte (IMJ)

Journal-ref: Transactions of the American Mathematical Society 347, 11 (1995) 4433-4460

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

[3] arXiv:0710.0132 [pdf, other]

Title: Classes de Wadge potentielles des boréliens à coupes dénombrables

Dominique Lecomte (IMJ)

Journal-ref: Comptes Rendus de l Acad\'emie des Sciences - Series I - Mathematics 317 (1993) 1045-1048

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

[4] arXiv:0710.0133 [pdf, other]

Title: Classes de Wadge potentielles et théorèmes d'uniformisation partielle

Dominique Lecomte (IMJ)

Journal-ref: Fundamenta Mathematicae 143 (1993) 231-258

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

[5] arXiv:0710.0134 [pdf, other]

Title: Complexité des boréliens à coupes dénombrables

Dominique Lecomte (IMJ)

Journal-ref: Fundamenta Mathematicae 165 (2000) 139-174

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

[6] arXiv:0710.0152 [pdf, other]

Title: On minimal non-potentially closed subsets of the plane

Dominique Lecomte (IMJ)

Journal-ref: Topology and its Applications 154, 1 (2007) 241-262

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

[7] arXiv:0710.0153 [pdf, other]

Title: Omega-powers and descriptive set theory

Dominique Lecomte (IMJ)

Journal-ref: Journal of Symbolic Logic 70, 4 (2005) 1210-1232

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

[8] arXiv:0710.0154 [pdf, other]

Title: Hurewicz-like tests for Borel subsets of the plane

Dominique Lecomte (IMJ)

Journal-ref: Electronic Research Announcements of the American Mathematical Society 11 (2005) 95-102

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

[9] arXiv:0710.0155 [pdf, other]

Title: How can we recover Baire class one functions?

Dominique Lecomte (IMJ)

Journal-ref: Mathematika 50 (2003) 171-198

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

[10] arXiv:0710.0157 [pdf, other]

Title: PCF and Abelian Groups

Saharon Shelah

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

[11] arXiv:0710.1398 [pdf, other]

Title: Logic of Simultaneity

Kenji Tokuo

Subjects: Logic (math.LO)

[12] arXiv:0710.1402 [pdf, other]

Title: Covering an uncountable square by countably many continuous functions

Wiesław Kubiś, Benjamin Vejnar

Comments: Added new results (9 pages)

Journal-ref: Proc. Amer. Math. Soc. 140 (2012), no. 12, 4359--4368

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

[13] arXiv:0710.2330 [pdf, other]

Title: On NIP and invariant measures

Ehud Hrushovski, Anand Pillay

Comments: Changes from the first version include removing the old section 8 on generic compact domination, giving a more complete account of the Vapnik-Chervonenkis theorem and its applications, the addition of an appendix on the existence of definable Skolem functions in suitable o-minimal structures, as well as expanding and clarifying various proofs

Subjects: Logic (math.LO)

[14] arXiv:0710.3066 [pdf, other]

Title: A Unified Approach to Algebraic Set Theory

Benno van den Berg, Ieke Moerdijk

Comments: To appear in the proceedings of the Logic Colloquium '06

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

[15] arXiv:0710.3077 [pdf, other]

Title: Aspects of Predicative Algebraic Set Theory I: Exact Completion

Benno van den Berg, Ieke Moerdijk

Comments: Submitted to Ann. Pure Appl. Logic

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

[16] arXiv:0710.3887 [pdf, other]

Title: Ultra LI-ideals in lattice implication algebras and MTL-algebras

Xiaohong Zhang, Keyun Qin, Wieslaw A. Dudek

Journal-ref: Czechoslovak Math. J. 57(132) (2007), 591--605

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

[17] arXiv:0710.5718 [pdf, other]

Title: Normal triangulations in o-minimal structures

Elias Baro

Subjects: Logic (math.LO)

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

Title: Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings

Laurentiu Leustean

Comments: in C.S. Calude, G. Stefanescu, and M. Zimand (eds.), Combinatorics and Related Areas. A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu

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

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

Title: Finitely generated lattice-ordered groups with soluble word problem

A. M. W. Glass

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

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

Title: Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups

L. Nguyen Van Thé

Comments: 14 pages

Journal-ref: European J. Combin., 30, 934-945, 2009

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

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

Title: Big Ramsey degrees and divisibility in classes of ultrametric spaces

L. Nguyen Van Thé

Comments: 12 pages

Journal-ref: Can. Math. Bull. 51 (2008) 413-423

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

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

Title: The Variable Hierarchy for the Games mu-Calculus

Walid Belkhir (LIF), Luigi Santocanale (LIF)

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Logic (math.LO)

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

Title: Partition properties of the dense local order and a colored version of Milliken's theorem

C. Laflamme, L. Nguyen Van Thé, N. W. Sauer

Comments: 17 pages, 9 figures. This is the very last version of the paper. Several proofs were simplified and pictures were added

Journal-ref: Combinatorica, 30 (1), 83-104, 2010

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

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

Title: Approximation of definable sets by compact families, and upper bounds on homotopy and homology

Andrei Gabrielov, Nicolai Vorobjov

Comments: 20 pages, 2 figures

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

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

Title: Algebraic Geometry over Free Metabelian Lie Algebra I: U-Algebras and Universal Classes

E. Daniyarova, I. Kazachkov, V. Remeslennikov

Comments: 34 pages

Journal-ref: Journal of Mathematical Sciences, Volume 135, Number 5 / June, 2006, p 3292-3310

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

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

Title: Algebraic Geometry over Free Metabelian Lie Algebra II: Finite Field Case

E. Daniyarova, I. Kazachkov, V. Remeslennikov

Comments: 31 pages

Journal-ref: Journal of Mathematical Sciences, Volume 135, Number 5 / June, 2006, p. 3311-3326

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

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

Title: Semidomains and Metabelian Product of Metabelian Lie Algebras

E. Daniyarova, I. Kazachkov, V. Remeslennikov

Comments: 14 pages

Journal-ref: Journal of Mathematical Sciences, Volume 131, Number 6 / December, 2005, p. 6015-6022

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

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

Title: Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups

Montserrat Casals-Ruiz, Ilya V. Kazachkov

Comments: 34 pages, 6 figures

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

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

Title: The External Fundamental Group of an Algebraic Number Field

T. M. Gendron

Comments: 4 pages

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