Logic

Authors and titles for July 2004

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

Title: Forcing with quotients

Michael Hrusak, Jindrich Zapletal

Comments: 20 pages

Subjects: Logic (math.LO)

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

Title: I[omega_2] can be the nonstationary ideal on Cof(omega_1)

William J. Mitchell

Comments: version 4 of the paper has been extensively revised in response to the referee report from TAMS. I expect it to appear in TAMS

Subjects: Logic (math.LO)

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

Title: Half of an inseparable pair

Arnold W. Miller

Comments: LaTex2e 16 pages

Subjects: Logic (math.LO)

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

Title: Positive partition relations for P_{kappa,lambda}

Pierre Matet, Saharon Shelah

Subjects: Logic (math.LO)

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

Title: Covering the Baire space by families which are not finitely dominating

Heike Mildenberger, Saharon Shelah, Boaz Tsaban

Comments: Small updates

Journal-ref: Annals of Pure and Applied Logic 140 (2006), 60--71

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

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

Title: The combinatorics of reasonable ultrafilters

Saharon Shelah

Subjects: Logic (math.LO)

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

Title: From truth to computability I

Giorgi Japaridze

Comments: To appear in Theoretical Computer Science

Journal-ref: Theoretical Computer Science 357 (2006), pp. 100-135

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

[8] arXiv:math-ph/0407056 (cross-list from math-ph) [pdf, other]

Title: Internal Turing Machines

Ken Loo

Comments: clarified the Halting problem

Subjects: Mathematical Physics (math-ph); Computational Complexity (cs.CC); Logic (math.LO); Quantum Physics (quant-ph)

[9] arXiv:math/0407089 (cross-list from math.GR) [pdf, other]

Title: Effective JSJ Decompositions

Olga Kharlampovich, Alexei Myasnikov

Comments: 126 pages, 15 figures

Journal-ref: Cont. Math. AMS, Algorithms, Languages, Logic, CONM/378, 2005, 87-212

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

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

Title: Incomparable, non isomorphic and minimal Banach spaces

Christian Rosendal

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

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

Title: Clones on infinite sets

Michael Pinsker

Comments: 70 pages; Dissertation written at the Vienna University of Technology under the supervision of Martin Goldstern; essentially consists of the author's papers "The clone generated by the median functions", "Clones containing all almost unary functions, "Maximal clones on uncountable sets that include all permutations" which are all available from arXiv

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

[12] arXiv:quant-ph/0407057 (cross-list from quant-ph) [pdf, other]

Title: Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer

Giulia Battilotti

Comments: 5 pages LaTeX. Submitted to a special issue of IJQI, proceedings of the FQI04, Camerino, Italy

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