On 3/19/2013 2:18 AM, Ross A. Finlayson wrote: > > > http://math.bu.edu/people/aki/14.pdf > > "Rather, the focus is on the connections between the combinatorial > properties of the partial order of conditions and structural > properties of the extension." > > > "With forcing so expanded into the interstices of set theory and the > method so extensively amended from the beginning, what is the "it" of > Cohen's forcing and his individual achievement? Cohen discovered a > concrete and widely applicable means of operationally extending a > standard model of set theory to another without altering the ordinals. > The central technical innovation was the definable forcing relation, > through which satisfaction for the extension could be approached in > the ground model. Cohen's achievement was thus to be able to secure > properties of new sets without having all of their members in hand and > more broadly, to separate and then interweave truth and existence." >
On page 360 he speaks of having to think of truth in new way.
One result of forcing has been to consider "truth persistence under forcing". To the best of my knowledge, this typifies some of Woodin's work.