Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
Cardinal preserving elementary embeddings
Published online by Cambridge University Press: 01 March 2011
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
Summary
Abstract. Say that an elementary embedding j : N → M is cardinal preserving if CARM = CARN = CAR. We show that if PFA holds then there are no cardinal preserving elementary embeddings j : M → V. We also show that no ultrapower embedding j : V → M induced by a set extender is cardinal preserving, and present some results on the large cardinal strength of the assumption that there is a cardinal preserving j : V → M.
Introduction. This paper is the first of a series attempting to investigate the structure of (not necessarily fine structural) inner models of the set theoretic universe under assumptions of two kinds:
Forcing axioms, holding either in the universe ∨ of all sets or in both ∨ and the inner model under study, and
Agreement between (some of) the cardinals of ∨ and the cardinals of the inner model.
I try to be as self-contained as is reasonably possible, given the technical nature of the problems under consideration. The notation is standard, as in Jech. I assume familiarity with inner model theory; for fine structural background and notation, the reader is urged to consult Steel and Mitchell.
In the remainder of this introduction, I include some general observations on large cardinal theory, forcing axioms, and fine structure, and state the main results of the paper.
- Type
- Chapter
- Information
- Logic Colloquium 2007 , pp. 14 - 31Publisher: Cambridge University PressPrint publication year: 2010
References
- 2
- Cited by