Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
Preface
Published online by Cambridge University Press: 31 March 2017
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
Summary
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,
- Type
- Chapter
- Information
- Logic Colloquium '98 , pp. v - viPublisher: Cambridge University PressPrint publication year: 2000