2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

Abstract

and the Sigalas Wine Co. Ltd. We thank J. Moore, Uncountable linear orders. A. Nies, Algebras with finite descriptions. C. Parsons, Paul Bernays' later philosophy of mathematics. H. Schwichtenberg, Minimal logic for computable functionals. M. Sheard, A transactional approach to the logic of truth. S. Tupailo, Monotone inductive definitions and consistency of New Foundations. K. Weihrauch, Computable analysis. J. Zapletal, Forcing idealized. The proceedings of Logic Colloquium '05, edited by C. Dimitracopoulos, L. Newelski, D. Normann, and J. Steel, will contain many of the invited lectures and will be published in the ASL series Lecture Notes in Logic. More information about the meeting can be found at the conference webpage http:// www.math.uoa.gr/lc2005/.