The following pages link to Definability and descent (Q4212908):
Displaying 7 items.
- Proof of a conjecture of A. Pitts (Q1818641) (← links)
- Pitts monads and a lax descent theorem (Q2260278) (← links)
- Definability and invariance (Q2454641) (← links)
- Definability aspects of the Denjoy integral (Q2966798) (← links)
- Duality and definability in first order logic (Q3137743) (← links)
- Universal models and definability (Q3225519) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)