The Bristol model: an abyss called a Cohen real

DOI10.1142/S0219061318500083MaRDI QIDQ4562437zbMATH OpenFDO

Authors Asaf Karagila

Publication date 20 December 2018

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1704.06939

zbMATH Keywords

symmetric extensionaxiom of choiceintermediate modelsBristol modelHOD conjectureKinna-Wagner principles

Mathematics Subject Classification ID

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

Recommendations

• HOD, V and the GCH
• Coloring ordinals by reals
• Inner models from extended logics. I
• Hod mice and the mouse set conjecture
• A non-generic real incompatible with \(0^\sharp\)

Cites work

• Injectivity, Projectivity, and the Axiom of Choice
• Intermediate submodels and generic extensions in set theory
• Set Theory
• Squares, scales and stationary reflection
• The axiom of choice

Cited in

(13)

• The Hartogs-Lindenbaum spectrum of symmetric extensions
• Borel reducibility and symmetric models
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• The Morris model
• On the ‘definability of definable’ problem of Alfred Tarski, Part II
• Iterating symmetric extensions
• Factoring Solovay-random extensions, with application to the reduction property
• Sequential and distributive forcings without choice
• Preserving dependent choice
• The full basis theorem does not imply analytic wellordering
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• Anti-classification results for groups acting freely on the line
• The Bristol Model: an abyss called a Cohen real

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 Q4562437)