Limit search to items available for checkout
Title Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers.
Imprint La Jolla, Calif. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, ©2006.


 Internet  Electronic Book    AVAILABLE
Description 1 online resource (viii, 359 pages) : illustrations
Series Lecture notes in logic ; 27
Lecture notes in logic ; 27.
Bibliog. Includes bibliographical references.
Note Use copy Restrictions unspecified star MiAaHDL
Available only to authorized UTEP users.
Reproduction Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2011. MiAaHDL
Note Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
Print version record.
Subject Logic, Symbolic and mathematical -- Congresses.
Genre Conference papers and proceedings.
Contents Generic absoluteness for [Sigma][subscript 1] formulas and the continuum problem / David Aspero -- Axioms of generic aboluteness / Joan Bagaria -- Generalised dynamic ordinals -- universal measures for implicit computational complexity / Arnold Bechmann -- The worm principle / Lev D. Beklemishev -- "One is a lonely number" : logic and communication / Johan van Benthem -- Computable versions of the uniform boundedness theorem / Vasco Brattka -- Symmetry of the universal computable function : a study of its automorphisms, homomorphisms and isomorphic embeddings / Elias F. Combarro -- PCF theory and Woodin cardinals / Moti Gitik, Ralf Schindler and Saharon Shelah -- Embedding finite lattices into the computably enumerable degrees -- a status survey / Steffen Lempp, Manuel Lerman and Reed Solomon -- Dimension theory inside a homogeneous model / Olivier Lessmann -- Reals which compute little / Andre Nies -- Bisimulation invariance and finite models / Martin Otto -- Choice principles in constructive and classical set theories / Michael Rathjen -- Ash's theorem for abstract structures / Ivan N. Soskov and Vessela Baleva -- Martin-Lof random and PA-complete sets / Frank Stephan -- Learning and computing in the limit / Sebastiaan A. Terwijn.
Other Author Chatzidakis, Zoé Maria.
Koepke, Peter.
Pohlers, Wolfram.
Colloquium Logicum 2002 (2002 : Münster, Germany)
Other Title Print version: Logic Colloquium '02 (2002 : Münster, Germany). Logic Colloquium '02. La Jolla, Calif. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, ©2006