Logic Colloquium 2000 (hardcover) Lecture Notes in Logic, 19

Tutorials; Model Theory and Geometry; Notions of Computability at Higher Types I; The Continuum Hypothesis; Participant Photographs; Articles; Bounded Forcing Axioms and the Size of the Continuum; Hilbert's Wide Program; Rigidity Conjectures; Metapredicative and Explicit Mahlo: a Proof-Theoretic Perspective; A Two-Dimensional Tree Ideal; Psychology Looks Hopefully to Logic; Russell's Logics; Partitioning Pairs of Uncountable Sets; Aspects of the Turing Jump; Liouville Functions; Analytic and Pseudo-Analytic Structures