×

Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. (English) Zbl 1093.03003

Lecture Notes in Logic 27. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). viii, 359 p. (2006).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The 2001 and 2003 colloquia have been reviewed (see Zbl 1068.03005 and Zbl 1083.03009, respectively).
Indexed articles:
Asperó, David, Generic absoluteness for \(\Sigma_1\) formulas and the continuum problem, 1-27 [Zbl 1109.03060]
Bagaria, Joan, Axioms of generic absoluteness, 28-47 [Zbl 1107.03062]
Beckmann, Arnold, Generalised dynamic ordinals – universal measures for implicit computational complexity, 48-74 [Zbl 1105.03060]
Beklemishev, Lev D., The worm principle, 75-95 [Zbl 1108.03055]
van Benthem, Johan, “One is a lonely number”: logic and communication, 96-129 [Zbl 1108.03011]
Brattka, Vasco, Computable versions of the uniform boundedness theorem, 130-151 [Zbl 1107.03049]
Combarro, Elías F., Symmetry of the universal computable function: a study of its automorphisms, homomorphisms and isomorphic embeddings, 152-171 [Zbl 1107.03044]
Gitik, Moti; Schindler, Ralf; Shelah, Saharon, PCF theory and Woodin cardinals, 172-205 [Zbl 1107.03057]
Lempp, Steffen; Lerman, Manuel; Solomon, Reed, Embedding finite lattices into the computably enumerable degrees – a status survey, 206-229 [Zbl 1107.03046]
Lessmann, Olivier, Dimension theory inside a homogeneous model, 230-260 [Zbl 1107.03030]
Nies, André, Reals which compute little, 261-275 [Zbl 1107.03047]
Otto, Martin, Bisimulation invariance and finite models, 276-298 [Zbl 1102.03036]
Rathjen, Michael, Choice principles in constructive and classical set theories, 299-326 [Zbl 1121.03065]
Soskov, Ivan N.; Baleva, Vessela, Ash’s theorem for abstract structures, 327-341 [Zbl 1107.03054]
Stephan, Frank, Martin-Löf random and PA-complete sets, 342-348 [Zbl 1165.03336]
Terwijn, Sebastiaan A., Learning and computing in the limit, 349-359 [Zbl 1107.03055]

MSC:

03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00B25 Proceedings of conferences of miscellaneous specific interest
PDFBibTeX XMLCite