Forcing notions in inner models

Asperó, D. (2009) Forcing notions in inner models. Archive for Mathematical Logic, 48 (7). pp. 643-651. ISSN 0933-5846

Full text not available from this repository. (Request a copy)


There is a partial order P preserving stationary subsets of ? and forcing that every partial order in the ground model V that collapses a sufficiently large ordinal to ? over V also collapses ? over V. The proof of this uses a coding of reals into ordinals by proper forcing discovered by Justin Moore and a symmetric extension of the universe in which the Axiom of Choice fails. Also, using one feature of the proof of the above result together with an argument involving the stationary tower it is shown that sometimes, after adding one Cohen real c, there are, for every real a in V[c], sets A and B such that c is Cohen generic over both L[A] and L[B] but a is constructible from A together with B.

Item Type: Article
Uncontrolled Keywords: 03e05,03e49,03e47,03e55
Faculty \ School: Faculty of Science > School of Mathematics
UEA Research Groups: Faculty of Science > Research Groups > Logic
Related URLs:
Depositing User: Pure Connector
Date Deposited: 01 Nov 2013 13:54
Last Modified: 24 Oct 2022 04:55
DOI: 10.1007/s00153-009-0141-7

Actions (login required)

View Item View Item