Skip to main content
4 votes

The definition of ${}^{\circ} \mathcal{HT}^{\mathcal{D}\text{-}\Theta^{\pm \mathscr{ell}}}$ in Inter-universal Teichmüller theory

Let me triage my questions. I think Dr. David Roberts and me agree Mochizuki's definition is not rigorous. The point being disagreed with is how math papers having non-strict arguments should be ...
categoricalequivalent's user avatar
3 votes

Ordinal realizability vs the constructible universe

As pointed out by Noah and Hanul in the comments, there are known models of set theory making use of class sized pcas. The earliest relevant to this question is probably Tharp, A quasi-intuitionistic ...
aws's user avatar
  • 3,856

Only top scored, non community-wiki answers of a minimum length are eligible