Logic

Authors and titles for November 2003

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

Title: There may be no Hausdorff ultrafilters

Tomek Bartoszynski, Saharon Shelah

Subjects: Logic (math.LO)

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

Title: Determinacy Maximum

Dmytro Taranovsky

Comments: 10 pages, formatting change, original html is in ancillary files

Subjects: Logic (math.LO)

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

Title: Proper forcing and rectangular Ramsey theorems

Jindrich Zapletal

Comments: 16 pages

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

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

Title: A definable nonstandard model of the reals

Vladimir Kanovei, Saharon Shelah

Comments: (6 pages) to appear in JSL

Journal-ref: A definable nonstandard model of the reals. J. Symbolic Logic, 2004, 69, 1, pp. 159-164

Subjects: Logic (math.LO)

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

Title: On finite approximations of topological algebraic systems

L.Yu. Glebsky, E.I. Gordon, C.W. Henson

Comments: 20 pages, sent to Journal of Symbolic Logic

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

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

Title: Model theory of valued fields

Raf Cluckers

Comments: To appear in Proceedings of Ravello model theory conference

Subjects: Logic (math.LO)

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

Title: Classification of semi-algebraic $p$-adic sets up to semi-algebraic bijection

Raf Cluckers

Comments: 9 pages

Journal-ref: J. Reine Angew. Math. 540 (2001), 105--114

Subjects: Logic (math.LO)

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

Title: Grothendieck rings of \mathbb{Z}-valued fields

Raf Cluckers, Deirdre Haskell

Comments: 8 pages

Journal-ref: Bull. Symbolic Logic 7 (2001), 262--269

Subjects: Logic (math.LO)

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

Title: Models in which every nonmeager set is nonmeager in a nowhere dense Cantor set

Maxim R. Burke, Arnold W. Miller

Comments: LaTex2e, 12 pages

Subjects: Logic (math.LO)

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

Title: On the structure of stationary sets

Q. Feng, T. Jech, J. Zapletal

Subjects: Logic (math.LO)

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

Title: The First Order Definability of Graphs: Upper Bounds for Quantifier Rank

Oleg Pikhurko, Helmut Veith, Oleg Verbitsky

Comments: 52 pages

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

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

Title: Asymptotic cones and ultrapowers of Lie groups

Linus Kramer, Katrin Tent

Comments: to appear in: Bull. Symbolic Logic

Subjects: Geometric Topology (math.GT); Logic (math.LO)

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

Title: Computer theorem proving in math

Carlos T. Simpson

Subjects: History and Overview (math.HO); Algebraic Geometry (math.AG); Category Theory (math.CT); Differential Geometry (math.DG); Logic (math.LO)