A Core Model Toolbox and Guide

Ernest Schimmerling ()
Additional contact information
Ernest Schimmerling: Carnegie Mellon University, Department of Mathematics

Chapter 20 in Handbook of Set Theory, 2010, pp 1685-1751 from Springer

Abstract: Abstract The subject of this chapter is core model theory at the level where it involves iteration trees. Our toolbox includes a list of fundamental theorems that set theorists who are not necessarily core model theorists can use off the shelf in applications. It also includes a catalog of such applications. For those interested in the nuts and bolts of core model theory, we offer a guide to the monograph “The Core Model Iterability Problem” by John Steel. We also provide an outline of the paper “The covering lemma up to a Woodin cardinal” by William Mitchell, John Steel and Ernest Schimmerling. These two sections with proofs build on an initial segment of the Handbook of Set Theory chapter by John Steel, whereas the other three sections require only general knowledge of set theory.

Keywords: Core Model; Large Cardinal; Measurable Cardinal; Proper Class; Elementary Embedding (search for similar items in EconPapers)
Date: 2010
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4020-5764-9_21

Ordering information: This item can be ordered from
http://www.springer.com/9781402057649

DOI: 10.1007/978-1-4020-5764-9_21

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().