J. Steel, PFA implies ADL(ℝ). The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 1255–1296. - G. Sargsyan, Nontame mouse from the failure of square at a singular strong limit cardinal. Journal of Mathematical Logic, vol. 14 (2014), 1450003 (47 pages). - G. Sargsyan, Covering with universally Baire operators. Advances in Mathematics, vol. 268 (2015), pp. 603–665. - N. Trang, PFA and guessing models. Israel Journal of Mathematics, vol. 215 (2016), pp. 607–667.
Sandra Müller · Bulletin of Symbolic Logic · 2020
J. Steel, PFA implies ADL(ℝ). The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 1255–1296. - G. Sargsyan, Nontame mouse from the failure of square at a singular strong limit cardinal. Journal of Mathematical Logic, vol. 14 (2014), 1450003 (47 pages). - G. Sargsyan, Covering with universally Baire operators. Advances in Mathematics, vol. 268 (2015), pp. 603–665. - N. Trang, PFA and guessing models. Israel Journal of Mathematics, vol. 215 (2016), pp. 607–667. - Volume 26 Issue 1