Apparently, this user prefers to keep an air of mystery about them.
Top network posts
- 26 Can We Decide Whether Small Computer Programs Halt?
- 20 Proof-Theoretic Ordinal of ZFC or Consistent ZFC Extensions?
- 6 What are the Possible Large Cardinals of $L[X]$?
- 5 $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
- 5 Woodin Cardinals and Inner Models
- View more network posts →