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 |
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 G.H. Müller,D.S. Scott No preview available - 1978 |
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
Bibliographic information
| Title | Higher set theory: proceedings, Oberwolfach, Germany, April 13-23, 1977 Volume 669 of Lecture notes in mathematics |
| Authors | Gert Heinz Müller, Dana S. Scott |
| Editors | Gert Heinz Müller, Dana S. Scott |
| Publisher | Springer, 1978 |
| ISBN | 3540089268, 9783540089261 |
| Length | 476 pages |
| Subjects | Set theory |
| Export Citation | BiBTeX EndNote RefMan |