Ordinals and Cardinals
This chapter includes no model theory. It is written for the reader’s convenience: Every time there has been a reference to “ordinals” or “transfinite recursion” up to this point, you have been asked to accept the validity of the proofs offered by analogy to the denumerablc case, and promised a more extensive exposition later. The time has come for this exposition, since we are going to need some quite precise results on “cardinal arithmetic” beginning in the next chapter.
KeywordsNonempty Subset Initial Segment Choice Function Finite Subset Regular Cardinal
Unable to display preview. Download preview PDF.