MathSciNet bibliographic data MR2194247 (2008b:03069) 03E45 (03E55) Steel, John R. PFA implies ${\rm AD}\sp {L(\Bbb R)}$${\rm AD}\sp {L(\Bbb R)}$. J. Symbolic Logic 70 (2005), no. 4, 1255–1296. Article

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.