#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1992

2017

- This year (0)
- Last 5 years (1)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Steven Vickers
- 2005

Following Lawvere, a generalized metric space (gms) is a set X equipped with a metric map from X to the interval of upper reals (approximated from above but not from below) from 0 to âˆž inclusive, andâ€¦ (More)

- Steven Vickers
- 1995

Results of Bunge and Funk and of Johnstone, providing constructively sound descriptions of the global points of the lower and upper powerlocales, are extended here to describe the generalized pointsâ€¦ (More)

- Steven Vickers
- 1992

Domain theoretic understanding of databases as elements of powerdomains is modified to allow multisets of records instead of sets. This is related to geometric theories and classifying toposes, andâ€¦ (More)

- Steven Vickers
- 2004

If X is a locale, then its double powerlocale PX is defined to be PU(PL(X)) where PU and PL are the upper and lower powerlocale constructions. We prove various results relating it to exponentiationâ€¦ (More)

- Steven Vickers
- 1997

We give a constructive localic account of the completion of quasimetric spaces. In the context of Lawvereâ€™s approach, using enriched categories, the points of the completion are flat left modulesâ€¦ (More)

- Steven Vickers
- 2005

The Tychonoff Theorem is discussed with respect to point-free topology, from the point of view of both topos-valid and predicative mathematics. A new proof is given of the infinitary Tychonoffâ€¦ (More)

- Barbara E. Ainsworth, Colin B Berry, V N Schnyder, Steven Vickers
- The Journal of adolescent health : officialâ€¦
- 1992

This cross-sectional study identified the leisure-time physical activity (LTPA) and aerobic fitness levels of 189 African-American young adult college freshmen. LTPA was measured with the Lipidâ€¦ (More)

- Steven Vickers
- 2011

If X is a locale then its valuation locale VX has for its points the valuations on X. V is the functor part of a strong monad on the category of locales, a localic analogue of the Giry monad. It isâ€¦ (More)

- Steven Vickers
- 2008

The connected Vietoris powerlocale is defined as a strong monad V c on the category of locales. V X is a sublocale of Johnstoneâ€™s Vietoris powerlocale V X, a localic analogue of the Vietorisâ€¦ (More)

- Steven Vickers
- 2011

This paper is largely a review of known results about various aspects of geometric logic. Following Grothendieckâ€™s view of toposes as generalized spaces, one can take geometric morphisms asâ€¦ (More)