Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Steven Vickers"'
Autor:
Ming Ng, Steven Vickers
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
We define a point-free construction of real exponentiation and logarithms, i.e.\ we construct the maps $\exp\colon (0, \infty)\times \mathbb{R} \rightarrow \!(0,\infty),\, (x, \zeta) \mapsto x^\zeta$ and $\log\colon (1,\infty)\times (0, \infty) \righ
Externí odkaz:
https://doaj.org/article/b2f01a23216742918b618ac82b26a38c
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 77-107 (2014)
In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos. The Gelfand spectrum of a is a
Externí odkaz:
https://doaj.org/article/6c1e49713c724ca79719743c39443cc1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 95, Iss Proc. QPL 2011, Pp 81-90 (2012)
Topos approaches to quantum foundations are described in a unified way by means of spectral bundles, where the base space is a space of contexts and each fibre is its spectrum. Differences in variance are due to the bundle being a fibration or opfibr
Externí odkaz:
https://doaj.org/article/af002177943043c4bb9ea7de81ce5564
Publikováno v:
Journal of Diabetes Research, Vol 2015 (2015)
Chronic pain is a common complication of diabetes. The aim of the present study was to characterise pain behaviour in a high fat diet/streptozotocin (HFD/STZ) model of diabetes in the rat, investigate spinal mechanisms, and determine the effects of a
Externí odkaz:
https://doaj.org/article/687b41937ccb4e998008af33b1125831
Autor:
Steven Vickers
Publikováno v:
Journal of Logic and Analysis, Vol 1, Iss 0 (2009)
Externí odkaz:
https://doaj.org/article/670068ac0de14fec8b424e1ebc67f6e1
Autor:
Steven Vickers
Launched at the peak of the legendary 1980s microcomputer rivalry, the Jupiter ACE was the most intriguing machine of them all, marketed by Jupiter Cantab. This company was founded by Richard Altwasser and Stephen Vickers - the key hardware and softw
Autor:
Steven Vickers
Publikováno v:
Mathematical Logic Quarterly. 63:614-629
The locale corresponding to the real interval [-1,1] is an interval object, in the sense of Escard\'o and Simpson, in the category of locales. The map c from 2^\omega to [-1,1], mapping a stream s of signs +1 or -1 to \Sum_{i=1}^\infty s_i 2^{-i}, is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a235cf00ab5f442623a349c47712b954
https://doi.org/10.1002/malq.201500090
https://doi.org/10.1002/malq.201500090
Autor:
Francesco Ciraulo, Steven Vickers
Publikováno v:
Annals of Pure and Applied Logic. 167:806-819
This paper analyses the notion of a positivity relation of Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In part
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9619a1e5c8177dad1a502df96a97d70
https://doi.org/10.1016/j.apal.2016.04.009
https://doi.org/10.1016/j.apal.2016.04.009
Publikováno v:
QPL
Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 77-107 (2014)
Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 77-107 (2014)
In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos. The Gelfand spectrum of a is a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e323938f927190edb6efefa47ba56837
https://doi.org/10.4204/eptcs.158.7
https://doi.org/10.4204/eptcs.158.7
Autor:
Steven Vickers
Publikováno v:
Journal of Applied Logic. 12:14-27
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 generalized continuous maps. The constructivist constraints
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e478c3575842df4738c9ff7a9ae4043e
https://doi.org/10.1016/j.jal.2013.07.004
https://doi.org/10.1016/j.jal.2013.07.004