1 problem

0 votes0 replies0 views
The Artin-gluing conjecture for replacing an open subtopos
Artin-gluing conjecture. The theory $\mathbb{T}+\mathbb{E}/\phi$ is classified by the topos
Conjectureopenartin-gluing geometric-logic topos-theoryarXiv posted 2 days ago

The Artin-gluing conjecture for replacing an open subtopos