The Bristol Model: an abyss called a Cohen real

DOI10.1142/S0219061318500083arXiv1704.06939MaRDI QIDQ6285846FDOQ6285846

Authors: Asaf Karagila 

Publication date: 23 April 2017

Abstract: We construct a model $M$ of ZF which lies between $L$ and $L[c]$ for a Cohen real $c$ and does not have the form $L(x)$ for any set $x$. This is loosely based on the unwritten work done in a Bristol workshop about Woodin's HOD Conjecture in 2011. The construction given here allows for a finer analysis of the needed assumptions on the ground models, thus taking us one step closer to understanding models of ZF, and the HOD Conjecture and its relatives. This model also provides a positive answer to a question of Grigorieff about intermediate models of ZF, and we use it to show the failure of Kinna--Wagner Principles in ZF.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Axiom of choice and related propositions (03E25)

This page was built for publication: The Bristol Model: an abyss called a Cohen real

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6285846)