Baaz, Matthias, editor

Logic Colloquium '01

Lecture Notes In Logic, 20
Herausgeber: Krajicek, Jan; Friedman, Sy-David; Baaz, Matthias

• Gebundenes Buch

Produktbeschreibung

A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians

Produktdetails

• Verlag: Taylor & Francis Inc
• Seitenzahl: 504
• Erscheinungstermin: 7. März 2005
• Englisch
• Abmessung: 231mm x 160mm x 31mm
• Gewicht: 792g
• ISBN-13: 9781568812472
• ISBN-10: 1568812477
• Artikelnr.: 24266892

Autorenporträt

Matthias Baaz, Institute for Discrete Mathematics and Geometry, Vienna University of Technology. Sy-David Friedman, Kurt Godel Research Center for Mathematical Logic, University of Vienna. Jan Kraj¿¿ek, Mathematical Institute, Academy of Sciences of the Czech Republic.

Inhaltsangabe

Preface
TUTORIALS Resolution theorem proving: a logical point of view
An introduction to proofs of determinacy of long games. ARTICLES Modified bar recursion and classical dependent choice
Choice and uniformity in weak applicative theories
Compactness and incompactness phenomena in set theory
Selection for Borel relations
Interpolation in goal-directed proof systems 1
Sequences of degrees associated with models of arithmetic
The limit theory of generic polynomials
Moschovakis's notion of meaning as applied to linguistics
Tameness in expansions of the real field
The model theory of compact complex spaces
"Natural" representations and extensions of Gödel's second theorem
Effective Hausdorff dimension
Mutual stationarity in the core model
The pair (Nn
N0) may fail N0-compactness
Incompleteness theorem and its frontier
Groups in Simple Theories
Provable recursiveness and complexity.