1 problem

Matching

The Artin-gluing conjecture for replacing an open subtopos
About 4 years old
Artin-gluing conjecture. The theory $\mathbb{T}+\mathbb{E}/\phi$ is classified by the topos
openartin-gluing geometric-logic topos-theory
010

The Artin-gluing conjecture for replacing an open subtopos