The following pages link to (Q4944857):
Displayed 9 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)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- Quotients by Idempotent Functions in Cedille (Q5098733) (← links)