MODIFIED EXTENDER BASED FORCING
From MaRDI portal
Publication:2976340
DOI10.1017/JSL.2016.5zbMath1387.03039OpenAlexW2557527612MaRDI QIDQ2976340
Publication date: 28 April 2017
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2016.5
Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (2)
Cites Work
This page was built for publication: MODIFIED EXTENDER BASED FORCING