×

zbMATH — the first resource for mathematics

Vickers, Steven

Compute Distance To:
Author ID: vickers.steven Recent zbMATH articles by "Vickers, Steven"
Published as: Vickers, Steven; Vickers, Steve
Documents Indexed: 43 Publications since 1986, including 3 Books

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 479 times in 337 Documents Cited by Year
Topology via logic. Zbl 0668.54001
Vickers, Steven
169
1989
Quantales, observational logic and process semantics. Zbl 0823.06011
Abramsky, Samson; Vickers, Steven
69
1993
Localic completion of generalized metric spaces I. Zbl 1083.54019
Vickers, Steven
31
2005
Information systems for continuous posets. Zbl 0779.06006
Vickers, Steven
29
1993
Preframe presentations present. Zbl 0764.18004
Johnstone, Peter; Vickers, Steven
24
1991
The double powerlocale and exponentiation: A case study in geometric logic. Zbl 1061.06026
Vickers, Steven
18
2004
Constructive points of powerlocales. Zbl 0879.54008
Vickers, Steven
16
1997
Topical categories of domains. Zbl 0946.18001
Vickers, Steven
13
1999
Locales are not pointless. Zbl 0846.18003
Vickers, Steven
12
1995
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
11
1996
Presenting dcpos and dcpo algebras. Zbl 1286.68300
Jung, Achim; Moshier, M. Andrew; Vickers, Steve
11
2008
Compactness in locales and in formal topology. Zbl 1077.03041
Vickers, Steven
9
2006
Localic sup-lattices and tropological systems. Zbl 1060.06022
Resende, Pedro; Vickers, Steven
8
2003
Entailment systems for stably locally compact locales. Zbl 1047.06007
Vickers, Steven
7
2004
Sublocales in formal topology. Zbl 1132.03033
Vickers, Steven
7
2007
Geometric theories and databases. Zbl 0790.68081
Vickers, Steven
7
1992
Some constructive roads to Tychonoff. Zbl 1097.03058
Vickers, Steven
6
2005
Localic completion of generalized metric spaces. II: Powerlocales. Zbl 1275.54008
Vickers, Steven
6
2009
A localic theory of lower and upper integrals. Zbl 1133.06009
Vickers, Steven
5
2008
Strongly algebraic = SFP (topically). Zbl 1013.68282
Vickers, Steven
3
2001
Cosheaves and connectedness in formal topology. Zbl 1251.03091
Vickers, Steven
3
2012
The connected Vietoris powerlocale. Zbl 1171.54009
Vickers, Steven
3
2009
Topology via constructive logic. Zbl 0974.03053
Vickers, Steven
2
1999
Fuzzy sets and geometric logic. Zbl 1207.03068
Vickers, Steven
2
2010
An induction principle for consequence in arithmetic universes. Zbl 1253.03099
Maietti, Maria Emilia; Vickers, Steven
2
2012
Presheaves as configured specifications. Zbl 0995.68062
Vickers, Steven; Hill, Gillian
1
2001
Geometric logic as a specification language. Zbl 0843.68068
Vickers, Steven
1
1995
Positivity relations on a locale. Zbl 1402.03090
Ciraulo, Francesco; Vickers, Steven
1
2016
Reasoned programming. Zbl 0814.68087
Broda, Krysia; Eisenbach, Susan; Khoshnevisan, Hessam; Vickers, Steve
1
1994
Sketches for arithmetic universes. Zbl 1420.18011
Vickers, Steven
1
2019
Arithmetic universes and classifying toposes. Zbl 1398.18004
Vickers, Steven
1
2017
Sketches for arithmetic universes. Zbl 1420.18011
Vickers, Steven
1
2019
Arithmetic universes and classifying toposes. Zbl 1398.18004
Vickers, Steven
1
2017
Positivity relations on a locale. Zbl 1402.03090
Ciraulo, Francesco; Vickers, Steven
1
2016
Cosheaves and connectedness in formal topology. Zbl 1251.03091
Vickers, Steven
3
2012
An induction principle for consequence in arithmetic universes. Zbl 1253.03099
Maietti, Maria Emilia; Vickers, Steven
2
2012
Fuzzy sets and geometric logic. Zbl 1207.03068
Vickers, Steven
2
2010
Localic completion of generalized metric spaces. II: Powerlocales. Zbl 1275.54008
Vickers, Steven
6
2009
The connected Vietoris powerlocale. Zbl 1171.54009
Vickers, Steven
3
2009
Presenting dcpos and dcpo algebras. Zbl 1286.68300
Jung, Achim; Moshier, M. Andrew; Vickers, Steve
11
2008
A localic theory of lower and upper integrals. Zbl 1133.06009
Vickers, Steven
5
2008
Sublocales in formal topology. Zbl 1132.03033
Vickers, Steven
7
2007
Compactness in locales and in formal topology. Zbl 1077.03041
Vickers, Steven
9
2006
Localic completion of generalized metric spaces I. Zbl 1083.54019
Vickers, Steven
31
2005
Some constructive roads to Tychonoff. Zbl 1097.03058
Vickers, Steven
6
2005
The double powerlocale and exponentiation: A case study in geometric logic. Zbl 1061.06026
Vickers, Steven
18
2004
Entailment systems for stably locally compact locales. Zbl 1047.06007
Vickers, Steven
7
2004
Localic sup-lattices and tropological systems. Zbl 1060.06022
Resende, Pedro; Vickers, Steven
8
2003
Strongly algebraic = SFP (topically). Zbl 1013.68282
Vickers, Steven
3
2001
Presheaves as configured specifications. Zbl 0995.68062
Vickers, Steven; Hill, Gillian
1
2001
Topical categories of domains. Zbl 0946.18001
Vickers, Steven
13
1999
Topology via constructive logic. Zbl 0974.03053
Vickers, Steven
2
1999
Constructive points of powerlocales. Zbl 0879.54008
Vickers, Steven
16
1997
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
11
1996
Locales are not pointless. Zbl 0846.18003
Vickers, Steven
12
1995
Geometric logic as a specification language. Zbl 0843.68068
Vickers, Steven
1
1995
Reasoned programming. Zbl 0814.68087
Broda, Krysia; Eisenbach, Susan; Khoshnevisan, Hessam; Vickers, Steve
1
1994
Quantales, observational logic and process semantics. Zbl 0823.06011
Abramsky, Samson; Vickers, Steven
69
1993
Information systems for continuous posets. Zbl 0779.06006
Vickers, Steven
29
1993
Geometric theories and databases. Zbl 0790.68081
Vickers, Steven
7
1992
Preframe presentations present. Zbl 0764.18004
Johnstone, Peter; Vickers, Steven
24
1991
Topology via logic. Zbl 0668.54001
Vickers, Steven
169
1989
all top 5

Cited by 327 Authors

20 Solovyov, Sergey A.
17 Vickers, Steven
12 Pultr, Aleš
9 Rodabaugh, Stephen Ernest
9 Zhang, Dexue
8 Banaschewski, Bernhard
8 Hötzel Escardó, Martín
8 Li, Qingguo
8 Paseka, Jan
8 Resende, Pedro
8 Townsend, Christopher F.
7 Frith, John L.
7 Schauerte, Anneliese
7 Zhao, Bin
6 Jung, Achim
6 Moshier, M. Andrew
6 Rosenthal, Kimmo I.
6 Sambin, Giovanni
5 Denniston, Jeffrey T.
5 Han, Shengwei
5 Kawai, Tatsuji
5 Lai, Hongliang
5 Melton, Austin C. jun.
5 Palmgren, Erik
5 Xu, Luoshan
4 Guzmán, Michell
4 Hofmann, Dirk
4 Rueda, Camilo
4 Valencia, Frank D.
4 Wang, Longchun
4 Waszkiewicz, Paweł
3 Bridges, Douglas Suth
3 Bunge, Marta C.
3 Ciraulo, Francesco
3 Coquand, Thierry
3 Curi, Giovanni
3 Gutiérrez García, Javier
3 Jacobs, Bart
3 Keimel, Klaus
3 Klinke, Olaf Karl
3 Kurz, Alexander
3 Li, Wei
3 Perchy, Salim
3 Sadrzadeh, Mehrnoosh
3 Spitters, Bas
3 Stubbe, Isar
3 Valentini, Silvio
3 Yao, Wei
3 Zhou, Xiangnan
2 Abramsky, Samson
2 Alessi, Fabio
2 Bloom, Bard
2 Chen, Yixiang
2 Edalat, Abbas
2 Erné, Marcel
2 Fernando, Tim
2 Flori, Cecilia
2 Funk, Jonathon R.
2 Gehrke, Mai
2 Gunter, Carl A.
2 Hart, James B.
2 Heckmann, Reinhold
2 Henry, Simon
2 Heunen, Chris
2 Ho, Weng Kin
2 Holliday, Wesley H.
2 Johnstone, Peter T.
2 Kopperman, Ralph D.
2 Kostanek, Mateusz
2 Kovár, Martin Maria
2 Künzi, Hans-Peter A.
2 Lawson, Jimmie Don
2 Mackworth, Alan K.
2 Mahmoudi, Mojgan
2 Maietti, Maria Emilia
2 Mao, Xuxin
2 Maruyama, Yoshihiro
2 Mislove, Michael W.
2 Noor, Rana
2 Pan, Fangfang
2 Porter, Timothy
2 Rosolini, Giuseppe
2 Schumacher, Benjamin W.
2 Schuster, Peter Michael
2 Sichler, Jiří Jan
2 Srivastava, Arun Kamar
2 Stehlík, Milan
2 Stell, John G.
2 Tozzi, Anna
2 Tsinakis, Constantine
2 van Gool, Samuel Jacob
2 Venema, Yde
2 Vickers, S. J.
2 Vosmaer, Jacob
2 Wang, Kaiyun
2 Westmoreland, Michael D.
2 Wu, Mingyuan
2 Yang, Lingyun
2 Zhang, Gao
2 Zhao, Dongsheng
...and 227 more Authors
all top 5

Cited in 73 Serials

39 Theoretical Computer Science
37 Fuzzy Sets and Systems
21 Journal of Pure and Applied Algebra
20 Annals of Pure and Applied Logic
16 Topology and its Applications
16 Applied Categorical Structures
11 MSCS. Mathematical Structures in Computer Science
9 Cahiers de Topologie et Géométrie Différentielle Catégoriques
8 Soft Computing
7 Information and Computation
6 Semigroup Forum
5 Algebra Universalis
5 The Journal of Symbolic Logic
5 Mathematical Logic Quarterly (MLQ)
4 Artificial Intelligence
4 International Journal of Theoretical Physics
4 Quaestiones Mathematicae
4 Order
4 International Journal of Approximate Reasoning
3 Information Processing Letters
3 Journal of Mathematical Physics
3 Advances in Mathematics
3 Annals of Mathematics and Artificial Intelligence
3 The Journal of Logic and Algebraic Programming
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
3 Logical Methods in Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 Journal of Computer and System Sciences
2 Journal of Philosophical Logic
2 Studia Logica
2 Synthese
2 Formal Aspects of Computing
2 International Journal of Algebra and Computation
2 Archive for Mathematical Logic
2 Journal of Logic, Language and Information
2 Journal of Functional Programming
2 Tbilisi Mathematical Journal
2 Journal of Logic and Analysis
1 Bulletin of the Australian Mathematical Society
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Communications in Mathematical Physics
1 Journal of Mathematical Analysis and Applications
1 Lithuanian Mathematical Journal
1 Mathematical Notes
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Mathematical Economics
1 Kybernetika
1 Mathematica Slovaca
1 Monatshefte für Mathematik
1 Proceedings of the American Mathematical Society
1 Acta Mathematica Hungarica
1 Physica D
1 Bulletin of the American Mathematical Society. New Series
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 Journal of Applied Non-Classical Logics
1 Topology Proceedings
1 The Bulletin of Symbolic Logic
1 Theory and Applications of Categories
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 Journal of the Australian Mathematical Society
1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
1 Journal of Applied Logic
1 Mathematics in Computer Science
1 Confluentes Mathematici
1 The Review of Symbolic Logic
1 Journal of Mathematics
1 Nonlinear Analysis. Theory, Methods & Applications
1 Open Mathematics
1 Categories and General Algebraic Structures with Applications

Citations by Year