William J. Mitchell, John R. Steel, Fine Structure and Iteration Trees (Berlin: Springer-Verlag, 1994)

Fine Structure and Iteration Trees

William J. Mitchell, and John R. Steel

Lecture Notes in Logic, Volume 3
Berlin: Springer-Verlag, 1994.
130 pp.

Subjects:

03E45 (primary)
03E55 (primary)
03E10 (primary)
04A10 (primary)
04A15 (primary)

Permanent link to this monograph: http://projecteuclid.org/euclid.lnl/1235423427
Mathmatical Reviews number (MathSciNet): MR1300637
ISBN:3-540-57494-8
ISBN:0-387-57494-8

Miscellaneous Frontmatter

Chapter 0: Introduction

1-4

Chapter 1: Good Extender Sequences

5-9

Chapter 2: Fine Structure

10-27

Chapter 3: Squashed Mice

28-33

Chapter 4: Ultrapowers

34-46

Chapter 5: Iteration Trees

47-57

Chapter 6: Uniqueness of Wellfounded Branches

58-68

Chapter 7: The Comparison Process

69-73

Chapter 8: Solidity and Condensation

74-88

Chapter 9: Uniqueness of the Next Extender

89-95

Chapter 10: Closure under Initial Segment

96-98

Chapter 11: The Construction

99-107

Chapter 12: Iterability

108-124

References

125

Index of Definitions

126-127

Index

128-130

Miscellaneous Backmatter

Lecture Notes in Logic

ASL LNL Home