Pages that link to "Item:Q2575764"
From MaRDI portal
The following pages link to Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764):
Displaying 15 items.
- A coverage construction of the reals and the irrationals (Q866562) (← links)
- The basic Zariski topology (Q887823) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- (Q5009707) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
