The following pages link to (Q3552042):
Displaying 15 items.
- Continuity and geometric logic (Q280833) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Monads in double categories (Q531324) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Unifying exact completions (Q2254599) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- An interpretation of dependent type theory in a model category of locally cartesian closed categories (Q5076386) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)
