The following pages link to (Q4944857):
Displaying 13 items.
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- A cartesian closed category in Martin-Löf's intuitionistic type theory (Q1853587) (← links)
- Quotient topologies in constructive set theory and type theory (Q2498911) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- Type theory in type theory using quotient inductive types (Q2828239) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- Quotients by Idempotent Functions in Cedille (Q5098733) (← links)
- The law of excluded middle in the simplicial model of type theory (Q5121795) (← links)
- Quotients over Minimal Type Theory (Q5425354) (← links)