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.

2020 ◽  
Vol 26 (1) ◽  
pp. 89-92
Author(s):  
SANDRA MÜLLER
2019 ◽  
Vol 49 (4) ◽  
pp. 703-726
Author(s):  
Alexander Roberts

AbstractFollowing Smiley’s (The Journal of Symbolic Logic, 28, 113–134 1963) influential proposal, it has become standard practice to characterise notions of relative necessity in terms of simple strict conditionals. However, Humberstone (Reports on Mathematical Logic, 13, 33–42 1981) and others have highlighted various flaws with Smiley’s now standard account of relative necessity. In their recent article, Hale and Leech (Journal of Philosophical Logic, 46, 1–26 2017) propose a novel account of relative necessity designed to overcome the problems facing the standard account. Nevertheless, the current article argues that Hale & Leech’s account suffers from its own defects, some of which Hale & Leech are aware of but underplay. To supplement this criticism, the article offers an alternative account of relative necessity which overcomes these defects. This alternative account is developed in a quantified modal propositional logic and is shown model-theoretically to meet several desiderata of an account of relative necessity.


2011 ◽  
Vol 76 (2) ◽  
pp. 477-490 ◽  
Author(s):  
Sy-David Friedman ◽  
Ajdin Halilović

AbstractAssuming the existence of a weakly compact hypermeasurable cardinal we prove that in some forcing extension ℵω is a strong limit cardinal and ℵω+2 has the tree property. This improves a result of Matthew Foreman (see [2]).


2012 ◽  
Vol 18 (1) ◽  
pp. 131-134
Author(s):  
Daniel Turetsky

Sign in / Sign up

Export Citation Format

Share Document