Apparently, this user prefers to keep an air of mystery about them.
10 What is the strength of chains of 1-extendibles? nov 26 '13
10 Does the existence of the von Neumann hierarchy in models of Zermelo set theory with foundation imply that every set has ordinal rank? sep 1 '13
7 higher-order reflection sep 17 '14
6 Order Types and Replacement Schema jan 8 '14
6 The Kunen inconsistency and definable classes may 3 '13