A non-generic real incompatible with \(0^\sharp\)
DOI10.1016/S0168-0072(96)00033-4zbMath0877.03025OpenAlexW1998478094MaRDI QIDQ1361253
Publication date: 17 November 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00033-4
minimal model\(V\)-amenable structure\(V\)-amenably genericdiagonally genericinvisibly genericweakly generic
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40) Other notions of set-theoretic definability (03E47)
Related Items (2)
Cites Work
This page was built for publication: A non-generic real incompatible with \(0^\sharp\)