1 problem

Matching

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

The Artin-gluing conjecture for replacing an open subtopos