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 ...

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 ...

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

#### Related Tags

ct.category-theory × 6428higher-category-theory × 832

reference-request × 596

at.algebraic-topology × 552

ag.algebraic-geometry × 540

homotopy-theory × 523

topos-theory × 432

monoidal-categories × 421

homological-algebra × 364

model-categories × 297

lo.logic × 284

infinity-categories × 237

monads × 222

simplicial-stuff × 211

limits-and-colimits × 211

set-theory × 202

gn.general-topology × 191

sheaf-theory × 189

abelian-categories × 173

rt.representation-theory × 171

ra.rings-and-algebras × 167

adjoint-functors × 148

gr.group-theory × 144

ac.commutative-algebra × 142

enriched-category-theory × 116