Pages that link to "Item:Q1765104"
From MaRDI portal
The following pages link to The problem of the formalization of constructive topology (Q1765104):
Displaying 15 items.
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- Objects: a study in Kantian formal epistemology (Q691124) (← links)
- On the formal points of the formal topology of the binary tree (Q1407560) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Vagueness, Kant and topology: a study of formal epistemology (Q2481249) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- Formalization of Bing’s Shrinking Method in Geometric Topology (Q2817290) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
- A New Approach to Constructive Topology and Measure Theory (Q3822158) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)