An Abstract Condensation Property

[摘要] Let A = (A, ... ) be a relational structure. Say that A has condensation if there is an F : A^(ω) →A such that for every partial order P, it is forced by P that substructures of P which are closed under F are isomorphic to elementsof the ground model. Condensation holds if every structure in V, the universe of sets, has condensation. This property, isolated by Woodin, captures part of the content of the condensation lemmas for L, K and other "L-like" models. We present a variety of results having to do with condensation in this abstract sense. Section 1 establishes the absoluteness of condensation and some of itsconsequences. In particular, we show that if condensation holds in M, then M ╞ GCH and there are no measurable cardinals or precipitous ideals in M. The results of this section are due to Woodin. Section 2 contains a proofthat condensation implies ◊_κ(E) for κ regular and E κ stationary. This is the main result of this thesis. The argument provides a new proof of the key lemma giving GCH. Section 2 also contains some information about therelationship between condensation and strengthenings of diamond. Section 3 contains partial results having to do with forcing "Cond(A)", some further discussion of the relation between condensation and combinatorial principleswhich hold in L, and an argument that Cond(G) fails in V[G], where G is generic for the partial order adding ω_2 cohen subsets of ω_1.

[发布机构] University:California Institute of Technology;Department:Physics, Mathematics and Astronomy

[关键词] Mathematics