User contributions
- 11:27, 4 February 2018 (diff | hist) . . (+33) . . Superstrong (The target of a superstrong embedding need not be inaccessible.)
- 09:55, 27 March 2014 (diff | hist) . . (+127) . . N Talk:PFA (Created page with "I am not convinced the definition is what we want. Wouldn't every cardinal above the least PFA cardinal also be a PFA cardinal?")
- 09:48, 27 March 2014 (diff | hist) . . (+245) . . PFA
- 09:44, 27 March 2014 (diff | hist) . . (+451) . . Library