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
- References
Reflections on the Last Delfino Problem
Published online by Cambridge University Press: 31 March 2017
By
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
- References
- Type
- Chapter
- Information
- Logic Colloquium '98 , pp. 206 - 225Publisher: Cambridge University PressPrint publication year: 2000
References
[FeMaWo] , and , Universally Baire Sets Of Reals, in Set Theory Of The Continuum, , and (eds.), Mathematical Sciencies Research Institute Publications 26 (1992), pp. 203-242.
[Fr2] , The 1 2 Singleton Conjecture, . Soc. 3 (1990), 771-791.
[Fr3] , personal communication.
[Ha1] , The consistency strength of projective absoluteness, Ann. Pure Appl. Logic 74 (1995), 245-295.
[Ha2] , Sets of Reals, Infinite Games and Core Model Theory, in Proc. 6th Asian Logic Conference, Beijing 1996, World Scientific Publishing: Singapore (1998), 107-120.
[Ha3] , AMinimal Counterexample toUniversal Baireness, to appear in . Logic.
[Ha4] , Generic Relativizations of Fine Structure, to appear in Archive for Mathematical Logic.
[HaHj] and , Strong cardinals in the core model, Ann. Pure Appl. Logic 83 (1997), 165-198.Google Scholar
[HaSch] and , Projective Uniformization Revisited, submitted to Annals of Pure and Applied Logic.
[KeMaSt] , and (eds.), Appendix: Victoria Delfino Problems II, in Cabal Seminar 81-85, Springer Lecture Notes in Math. 1333 (1988), 221-224.Google Scholar
[MaSo] and , A Basis Theorem For 1 3 Sets Of Reals, Annals of Math 89 (1969), pp. 138-160.
[MaSt] and , The Extent Of Scales In L(R), in Cabal Seminar 79-81, Lecture Notes in Math. 1019, Springer (1983), 86-96.
[Ml] (ed.), The Scottish Book, Birkhauser (1981).
[Mo] , Descriptive Set Theory, North-Holland (1980), xii + 637.
[MySw] and , On The Lebesgue Measurability And The Axiom Of Determinateness, Fund. Math. 54 (1964), 67-71.
[Ra] , AMathematical Proof of S. Shelah's Theorem on the Measure Problem and Related Results, Isr. . 48 (1) (1984), 48-56.
[SchWo] and , The Jensen Covering Property, submitted for publication.
[St1] , The Core Model Iterability Problem, Lecture Notes in Logic 8, Springer Verlag (1996), 112 pages.
[St2] , Projectively Wellordered Inner Models, Ann. Pure and Appl. Logic 74 (1995), 77-104.
[Wo] , On the consistency strength of projective uniformization, in Logic Colloquium '81, (ed.), North-Holland (1982), 365-383.
[WoMaHa] , and , The Axiom of Determinacy, monograph in preparation.