Skip to main content Accessibility help
×
Hostname: page-component-7c8c6479df-27gpq Total loading time: 0 Render date: 2024-03-28T11:27:15.648Z Has data issue: false hasContentIssue false

Preface

Published online by Cambridge University Press:  31 March 2017

Matthias Baaz
Affiliation:
Vienna University of Technology
Sy Friedman
Affiliation:
University of Vienna
Jan Krajíček
Affiliation:
Academy of Sciences of the Czech Republic, Prague
Matthias Baaz
Affiliation:
Technische Universität Wien, Austria
Sy-David Friedman
Affiliation:
Universität Wien, Austria
Jan Krajíček
Affiliation:
Academy of Sciences of the Czech Republic, Prague
Get access

Summary

The 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2001 was held at the Vienna University of Technology in Vienna, Austria August 6–11, 2001. It was organized by the International Kurt Godel Society on the occasion of the 70th anniversary of Godel's famous publication Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.

The program of the Logic Colloquium 2001 included 17 invited one hour plenary addresses, 2 tutorials and 17 invited half-hour lecturers in parallel special sessions on Set Theory, ModelTheory, Proof Theory and Proof Search, Computability Theory, Philosophy and History of Logic, Computer Science and Complexity Theory. In addition, there were 126 contributed talks plus 36 papers presented by title. The number of registered participants was 249 coming from around 25 countries.

The tutorial short courses were given by Alexander Leitsch, Resolution theorem proving, and Itay Neeman, Determinacy of long games.

Invited plenary addresses were given by Toshiyasu Arai, Wellfoundedness proofs in reflecting universes; SteveAwodey,Modal and intensional types in categorical logic; James Cummings, Squares, scales and reflection; RodDowney, Calibrating randomness; Harvey Friedman, Recent incompleteness; Warren Goldfarb, Gödel and Carnap: influence and opposition; Olga Kharlampovich, First order properties of free groups; Julia Knight, Quantifiers and complexity; Michiel van Lambalgen, Moschovakis's notion of meaning as applied to linguistics; Chris Miller, Tameness phenomena in expansions of the field of real numbers; RanRaz, Resolution Lower bounds for the weak pigeonhole principle; Saharon Shelah, (Nn, N0) may fail N0–compactness; Jouko Vaananen, Models, trees and infinitary back-and-forth; FrankWagner, Simplicity theory; Stan Wainer, Provable recursiveness and complexity.

Special plenary addresses commemorating the anniversary of Godel's incompleteness theorem were given by Georg Kreisel, A consumer's (re)view around higher infinites, and Gaisi Takeuti, Incompleteness theorem and its frontier.

The Programm Committee consisted of M. Arslanov, M. Baaz, W. Buchholz, S. Friedman, D. Isaacson, C. Jockusch, J. Krajíček (Chair), L. Newelski (resigned April 2000), J. Paris, J.-P. Ressayre, L. van den Dries, B. Velickovic, A. Visser.

The editors invited all pleanry, section and tutorial speakers to contribute to the proceedings. The present volume contains 19 papers. All papers were refereed. We appreciated very much the help of the referees (whose names we do not present for obvious reasons).

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×