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
Bolzano Medal awarded to Gaisi Takeuti
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
During the welcoming reception, which was held in the historical building of Charles University, Professor Gaisi Takeuti received the Bolzano Medal. The Bolzano Medal is a special award of the Academy of Sciences of the Czech Republic for distinguished achievements in mathematical sciences which is given to Czech scientists or to foreign researchers who have collaborated with Czech scientists. The medal was presented by the president of the Academy, Professor Rudolf Zahradnık.
Below we reproduce texts of the speeches of Jan Krajíček and Gaisi Takeuti as they were presented at the ceremony.
Laudatio on Gaisi Takeuti by Jan Krajíček
Prof. Takeuti was born in rural Japan in 1926. Eighteen consecutive generations of his forefathers, going back some 400 years, were doctors but he defied the strong tradition and become a mathematician.
He earned his doctorate in Mathematics from the University of Tokyo in 1956. He visited the Institute for Advanced Study in Princeton in 1959. At that time he had extensive opportunities to talk with Kurt Gödel. This fostered his decision to stay in the USA. He joined the faculty of the University of Illinois at Urbana in 1963 and was there until his retirement two years ago.
Prof. Takeuti is one of the most distinguished mathematical logicians ever. He has worked in many different areas of mathematical logic and its applications to other areas of mathematics and computer science. He has more than 100 books and papers to his credit, not including the many popular books and articles about mathematics and physics he has written in Japanese. He has received many honours, including the Asahi Prize in 1982. This is the highest non-governmental prize given in Japan. A special conference, Colloque Takeuti, was held in his honour in France in 1993.
His mathematical contributions are remarkable in their variety, and I will only touch on a few high points.
- Type
- Chapter
- Information
- Logic Colloquium '98 , pp. viii - xiiPublisher: Cambridge University PressPrint publication year: 2000