The following pages link to Sketches for arithmetic universes (Q5224159):
Displaying 6 items.
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- An interpretation of dependent type theory in a model category of locally cartesian closed categories (Q5076386) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)