The following pages link to Steven Vickers (Q216267):
Displaying 43 items.
- Continuity and geometric logic (Q280833) (← links)
- Positivity relations on a locale (Q290642) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Fuzzy sets and geometric logic (Q969577) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Localic sup-lattices and tropological systems. (Q1427786) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- Information systems for continuous posets (Q2367538) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- (Q3138549) (← links)
- Localic completion of generalized metric spaces II: Powerlocales (Q3145945) (← links)
- The double powerlocale and exponentiation: A case study in geometric logic (Q3156489) (← links)
- (Q3778912) (← links)
- Preframe presentations present (Q3978977) (← links)
- (Q3994458) (← links)
- (Q4205515) (← links)
- Quantales, observational logic and process semantics (Q4279244) (← links)
- (Q4301154) (← links)
- Constructive points of powerlocales (Q4359621) (← links)
- (Q4518822) (← links)
- Strongly algebraic = SFP (topically) (Q4534181) (← links)
- Arithmetic universes and classifying toposes (Q4609242) (← links)
- (Q4716293) (← links)
- Topical categories of domains (Q4719352) (← links)
- (Q4723931) (← links)
- (Q4870815) (← links)
- (Q4870821) (← links)
- (Q4870823) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- The Born rule as structure of spectral bundles (extended abstract) (Q4986184) (← links)
- Gelfand spectra in Grothendieck toposes using geometric mathematics (Q4995148) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)
- Sketches for arithmetic universes (Q5224159) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- Algebraic Methodology and Software Technology (Q5312980) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
- A localic theory of lower and upper integrals (Q5448621) (← links)
- (Q5701012) (← links)
- (Q5718573) (← links)
- Presheaves as configured specifications (Q5949547) (← links)
