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
Some Remarks on the Maximality of Inner Models
Published online by Cambridge University Press: 31 March 2017
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. 516 - 540Publisher: Cambridge University PressPrint publication year: 2000
References
1. & Marginalia to a theorem of Silver in Proc. of Kiel Logic Conference 1974, Lecture Notes in Mathematics, 499, Springer Verlag, Berlin-New York, 1975, 115-142.
3. , , & Some applications of the Core Model, in Set Theory and Model Theory, Springer Lecture Notes in Maths., 872, 1981, 55-97.Google Scholar
4. & , On the Consistency strength of ‘accessible’ Jónsson cardinals and of the weak Chang conjecture,Annals of Pure&Applied Logic, 25 (1983), 233-261.Google Scholar
5. , The Fine Structure of the Constructible Hierarchy, in Annals of Mathematical Logic, 4, (1972), 229-308.Google Scholar
6. , The Core Model for Measures of Order Zero, circulated manuscript, 1989.
7. , Non-overlapping Extenders, circulated manuscript, 199?.
8. , Some remarks on below O π, circulated manuscript.
9. & , Absoluteness of Jónsson Cardinals, accepted for the J.Symbolic Logic.
10. & , Smooth categories and global, submitted to Annals of Pure & Applied Logic.
11. The Higher Infinite, Perspectives inMathematical Logic, 1994, Springer Verlag, Berlin.
12. , Some applications of short core models, in Annals of Pure & Applied Logic 37, (1988), 179-204.Google Scholar
13. , Elementary Embeddings and Infinitary Combinatorics, in J. of Symbolic Logic 36, (1971), 407-413.Google Scholar
14. , Some Interesting Problems, in Set Theory of the Reals, Ed. , Israeli Mathematical Conference Proceedings, 6, 1993, 645-654, Amer.Math. Soc. or http://www.math.wisc.edu/ miller
15. , Ramsey cardinals and Constructibility, in J. of Symbolic Logic, 44, 1979, 260-266.Google Scholar
16. , Jónsson Cardinals, Erdʺos Cardinals, and the Core Model submitted to the J. for Symbolic Logic.
17. & , Weak Covering without countable closure, Math. Res. Lett. 2 (1995), 595-609.
18. , , & , The Covering Lemma up to a Woodin cardinal, Annals of Pure & Applied Logic, 84, (1997), 219-255.Google Scholar
19. & , Fine Structure and Iteration Trees, Springer Lecture Notes in Logic, 3 Springer Verlag, 1994.
20. , holds in L[E], submitted to the J. of Symbolic Logic.
21. , & On theMaximality of the CoreModel. to appear in the Trans. of Amer. Math. Soc.
22. , Cardinal Arithmetic, Oxford Logic Guides 29, (1994), OUP.
23. , The Core Model Iterability Problem, Springer Lecture Notes in Logic, 8 Springer Verlag, 1996.
24. & , σ1 3-Absoluteness and the Second Uniform Indiscernible, in Israeli J. of Math. 104 (1998), 157-190.Google Scholar
25. , Submitted to the J. of Symbolic Logic.
26. & , Elementary Embeddings of a submodel into the Universe, submitted to the J.Symbolic Logic.
27. & , On Successors of Jónsson cardinals, to appear in the Archive forMathematical Logic.
28. , Combinatorial principles in the Core Model, D.Phil. thesis, Oxford 1979.
29. , Ph.D. thesis, MIT., 1990.
30. , Global below O π, in preparation.
31. , Towards μ in Higher Core Models, manuscript, 1998.
- 1
- Cited by