We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Published online by Cambridge University Press: 31 March 2017
The 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 was held at the University of Economics in Prague, August 9-15, 1998. It was co-organized by the Academy of Sciences of the Czech Republic and the Charles University—on the occasion of the 650th anniversary of the founding of the university. During the conference, the Bolzano medal of the Academy of Sciences of the Czech Republic was presented to Gaisi Takeuti in recognition of his work in mathematical logic and other areas and for his cooperation with Czech mathematicians.
The last time a Logic Colloquium was scheduled to be held in Prague was August 1980. Unfortunately, the Czechoslovakian government cancelled that meeting about 40 days beforehand, due to fears that participants would organize protests against the imprisonment of the Czech philosopher and mathematician V. Benda (Benda is presently a senator in the Czech parliament). Nonetheless, the volume Logic Colloquium '80, containing papers intended for the cancelled meeting, was published in 1982.
The program of Logic Colloquium '98 included fifteen invited one-hour plenary addresses, three tutorials, and 39 invited half-hour lectures in parallel special sessions on computability theory, proof theory, set theory, model theory, philosophical logic and fuzzy logic. In addition, there were 98 contributed talks plus 26 papers presented by title. The number of registered participants was 241, coming from 30 countries.
The tutorial short courses were given by P. Hájek, Metamathematics of fuzzy logic; J. Krajíček, Propositional logic, arithmetic and complexity; and Z. Sela, The elementary theory of free groups.
Invited plenary addresses were given by: S.B. Cooper, Hartley Rogers’ 1965 agenda; T. Coquand, Formal topology and proof theory; A. Ekert, On some ramifications of quantum computation (joint work with R. Lupacchini); L. Fortnow, Separating classes; B. Hart, The uncountable spectra of countable theories; G. Hjorth, Vaught conjecture on analytic sets; T. Jech, Stationary sets; C. Jockusch, Ramsey's theorem, computability, and second-order number theory; L. Lipshitz,
To save this book to your Kindle, first ensure [email protected] 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.
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.
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.
