Zoe Chatzidakis (ed.)

Logic Colloquium '02

Lecture Notes in Logic 27
Herausgeber: Chatzidakis, Zoé; Pohlers, Wolfram; Koepke, Peter

• Broschiertes Buch

Produktbeschreibung

Logic Colloquium '02 includes articles from some of the world's preeminent logicians

Produktdetails

• Verlag: A K Peters/CRC Press
• Seitenzahl: 376
• Erscheinungstermin: 13. Juli 2006
• Englisch
• Abmessung: 229mm x 152mm x 20mm
• Gewicht: 544g
• ISBN-13: 9781568813011
• ISBN-10: 1568813015
• Artikelnr.: 32440347

Autorenporträt

Zoe Chatzidakis Department of Mathematics University of Paris 7 Peter Koepke Mathematical Institute University of Bonn Wolfram Pohlers Institute for Mathematical Logic and Foundational Research University of Munster

Inhaltsangabe

Preface
Participants Photograph
Generic absoluteness for ?? formulas and the continuum problem
Axioms of generic absoluteness
Generalised dynamic ordinals - universal measures for implicit computational complexity
The Worm principle
"One is a lonely number": logic and communication
Computable versions of the uniform boundedness theorem
Symmetry of the universal computable function: A study of its automorphisms
homomorphisms and isomorphic embeddings
PCF theory and Woodin cardinals
Embedding finite lattices into the computably enumerable degrees - a status survey
Dimension theory inside a homogeneous model
Reals which compute little
Bisimulation invariance and finite models
Choice principles in constructive and classical set theories
Ash's theorem for abstract structures
Martin-Lof random and PA-complete sets
Learning and computing in the limit