Pages that link to "Item:Q1412832"
From MaRDI portal
The following pages link to Inductively generated formal topologies. (Q1412832):
Displayed 28 items.
- A coverage construction of the reals and the irrationals (Q866562) (← links)
- Constructive characterizations of bar subsets (Q866574) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- Space of valuations (Q1006605) (← links)
- A topos for algebraic quantum theory (Q1048087) (← 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)
- About Stone's notion of spectrum (Q1772250) (← links)
- Vagueness, Kant and topology: a study of formal epistemology (Q2481249) (← links)
- Aspects of general topology in constructive set theory (Q2575763) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← 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)
- On the existence of Stone-Čech compactification (Q3066786) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- (Q4531082) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)