## Higher set theory: proceedings, Oberwolfach, Germany, April 13-23, 1977 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A proof of foundation from axioms of cumulation | 15 |

K Gloede | 29 |

P Hajek | 55 |

Copyright | |

7 other sections not shown

### Other editions - View all

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 G.H. Müller,D.S. Scott Limited preview - 2007 |

### Common terms and phrases

argument arithmetic assume axiom of choice Borel closed unbounded closure cofinality combinatorial complete Boolean algebra Con(ZFC construction contradiction Corollary countable definition denote dense Determinacy disjoint element elementary embedding equivalent establish exists extension fact filter finite formula ground model Hence hierarchy hypothesis implies indiscernibles induction ineffability infinitary infinite inner model isomorphism iterated ultrapowers Kunen language large cardinals least Lemma let f Levy collapse limit ordinal Logic Mahlo Math measurable cardinal model of ZF natural numbers normal ultrafilter notion of forcing order type ordinal definable partial ordering partition player pointclass problem proof proper class property of Baire provable prove regular cardinal result satisfies saturated ideal sequence set of reals set theory singular cardinal Solovay Solovay's strongly compact cardinal structure supercompact Suppose Theorem ultrapowers variables weakly compact well-founded well-ordering winning strategy