The following pages link to (Q4247310):
Displaying 21 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Objects: a study in Kantian formal epistemology (Q691124) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Constructive domain theory as a branch of intuitionistic pointfree topology (Q1350507) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Constructive metrisability in point-free topology. (Q1427775) (← links)
- Some points in formal topology. (Q1427787) (← links)
- The problem of the formalization of constructive topology (Q1765104) (← links)
- A cartesian closed category in Martin-Löf's intuitionistic type theory (Q1853587) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- Finiteness in a Minimalist Foundation (Q3499749) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- (Q4726218) (← links)
- Realist Consequence, Epistemic Inference, Computational Correctness (Q5350353) (← links)
- Equiconsistency of the minimalist foundation with its classical version (Q6652037) (← links)
