Logic Colloquium '98

Samuel R. Buss, Petr Hájek, Pavel Pudlák

• Publisher: Cambridge University Press
• ISBN:
  9781108618489
• Topic: Mathematics
• Subtopic: Logic in Mathematics
• Index: Mathematics

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the thirteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic held at the University of Economics in Prague, August 9–15, 1988. It includes surveys and research from preeminent logicians. The papers in this volume range over all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy. This book will be of interest to all students and researchers in mathematical logic.

Table of contents

• Cover
• Half-title
• Series information
• Title page
• Preface
• Opening speech of Petr Vopenka
• Bolzano Medal awarded to Gaisi Takeuti
• Table of Contents
• Collapsing Polynomial-Time Degrees
• Qualitative and Probabilistic Models of Full Belief
• Relative Splittings of 0[sup(prime)sub(e)] in the [Delta sup(0)sub(2)] - Enumeration Degrees
• A Realizability Interpretation for Classical Arithmetic
• An Axiomatization of Quantified Propositional Godel Logic Using the Takeuti-Titani Rule
• Another Pathological Well-Ordering
• How Small Can the Set of Generics Be?
• 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 [Delta sup(b)sub(1)]-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 sum–Definability of Admissible Sets
• Additive Theories
• Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers*
• The Superjump in Martin-Lof 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
• The Complexity of Linear Logic with Weakening
• Some Remarks on the Maximality of Inner Models
• Author Index