Logic

Authors and titles for January 2002

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

Title: A simple proof of Σ^1_3 correctness of K

Ralf Schindler

Comments: 5 pages

Subjects: Logic (math.LO)

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

Title: Sharps and the Σ^1_3 correctness of K

Ralf Schindler

Comments: 5 pages

Subjects: Logic (math.LO)

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

Title: Relating decision and search algorithms for rational points on curves of higher genus

Minhyong Kim

Comments: to be published in Archive for Mathematical Logic

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

[4] arXiv:math/0201072 (cross-list from math.FA) [pdf, other]

Title: On the number of non isomorphic subspaces of a Banach space

Valentin Ferenczi, Christian Rosendal

Journal-ref: Studia Mathematica 168 (2005), 203-216

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

[5] arXiv:math/0201283 (cross-list from math.AG) [pdf, other]

Title: On the comparison of different notions of geometric categories

Joerg Schuermann

Comments: 11 pages, no figures

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

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

Title: Paradox regained: Life beyond Goedel's shadow

Bhupinder Singh Anand

Comments: v2: 40 pages. An HTML version of this paper is on the web at this http URL . Preface added, footnotes added, major revisions made

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