The following pages link to Proof of a conjecture of A. Pitts (Q1818641):
Displaying 6 items.
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- Lax proper maps of locales (Q861859) (← links)
- A proof of the Pfister factor conjecture (Q929365) (← links)
- Proper base change for étale sheaves of spaces (Q2087378) (← links)
- Pitts monads and a lax descent theorem (Q2260278) (← links)
- Duality and definability in first order logic (Q3137743) (← links)