×

zbMATH — the first resource for mathematics

Vickers, Steven

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

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 473 times in 335 Documents Cited by Year
Topology via logic. Zbl 0668.54001
Vickers, Steven
176
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
30
2005
Information systems for continuous posets. Zbl 0779.06006
Vickers, Steven
27
1993
Preframe presentations present. Zbl 0764.18004
Johnstone, Peter; Vickers, Steven
23
1991
The double powerlocale and exponentiation: A case study in geometric logic. Zbl 1061.06026
Vickers, Steven
16
2004
Constructive points of powerlocales. Zbl 0879.54008
Vickers, Steven
16
1997
Topical categories of domains. Zbl 0946.18001
Vickers, Steven
13
1999
Presenting dcpos and dcpo algebras. Zbl 1286.68300
Jung, Achim; Moshier, M. Andrew; Vickers, Steve
11
2008
Locales are not pointless. Zbl 0846.18003
Vickers, Steven
11
1995
Compactness in locales and in formal topology. Zbl 1077.03041
Vickers, Steven
9
2006
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
9
1996
Localic sup-lattices and tropological systems. Zbl 1060.06022
Resende, Pedro; Vickers, Steven
8
2003
Sublocales in formal topology. Zbl 1132.03033
Vickers, Steven
7
2007
Geometric theories and databases. Zbl 0790.68081
Vickers, Steven
7
1992
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
Some constructive roads to Tychonoff. Zbl 1097.03058
Vickers, Steven
5
2005
Entailment systems for stably locally compact locales. Zbl 1047.06007
Vickers, Steven
4
2004
Cosheaves and connectedness in formal topology. Zbl 1251.03091
Vickers, Steven
3
2012
The connected Vietoris powerlocale. Zbl 1171.54009
Vickers, Steven
3
2009
Strongly algebraic = SFP (topically). Zbl 1013.68282
Vickers, Steven
3
2001
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
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
Presheaves as configured specifications. Zbl 0995.68062
Vickers, Steven; Hill, Gillian
1
2001
Topology via constructive logic. Zbl 0974.03053
Vickers, Steven
1
1999
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
Theories as categories. Zbl 0615.18005
Fourman, Michael P.; Vickers, Steven
1
1986
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
30
2005
Some constructive roads to Tychonoff. Zbl 1097.03058
Vickers, Steven
5
2005
The double powerlocale and exponentiation: A case study in geometric logic. Zbl 1061.06026
Vickers, Steven
16
2004
Entailment systems for stably locally compact locales. Zbl 1047.06007
Vickers, Steven
4
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
1
1999
Constructive points of powerlocales. Zbl 0879.54008
Vickers, Steven
16
1997
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
9
1996
Locales are not pointless. Zbl 0846.18003
Vickers, Steven
11
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
27
1993
Geometric theories and databases. Zbl 0790.68081
Vickers, Steven
7
1992
Preframe presentations present. Zbl 0764.18004
Johnstone, Peter; Vickers, Steven
23
1991
Topology via logic. Zbl 0668.54001
Vickers, Steven
176
1989
Theories as categories. Zbl 0615.18005
Fourman, Michael P.; Vickers, Steven
1
1986
all top 5

Cited by 328 Authors

20 Solovyov, Sergey A.
17 Vickers, Steven
12 Pultr, Aleš
9 Rodabaugh, Stephen Ernest
8 Banaschewski, Bernhard
8 Hötzel Escardó, Martín
8 Paseka, Jan
8 Resende, Pedro
8 Zhang, Dexue
7 Frith, John L.
7 Li, Qingguo
7 Rosenthal, Kimmo I.
7 Schauerte, Anneliese
7 Townsend, Christopher F.
6 Jung, Achim
6 Moshier, M. Andrew
6 Sambin, Giovanni
6 Zhao, Bin
5 Denniston, Jeffrey T.
5 Han, Shengwei
5 Melton, Austin C. jun.
5 Palmgren, Erik
5 Xu, Luoshan
4 Hofmann, Dirk
4 Jacobs, Bart
4 Kawai, Tatsuji
4 Kurz, Alexander
4 Lai, Hongliang
4 Waszkiewicz, Paweł
3 Abramsky, Samson
3 Bonsangue, Marcello Maria
3 Bridges, Douglas Suth
3 Bunge, Marta C.
3 Ciraulo, Francesco
3 Coquand, Thierry
3 Curi, Giovanni
3 Edalat, Abbas
3 Gutiérrez García, Javier
3 Guzmán, Michell
3 Keimel, Klaus
3 Klinke, Olaf Karl
3 Li, Wei
3 Perchy, Salim
3 Rueda, Camilo
3 Sadrzadeh, Mehrnoosh
3 Spitters, Bas
3 Stubbe, Isar
3 Valencia, Frank D.
3 Valentini, Silvio
3 Wang, Longchun
3 Yao, Wei
2 Alessi, Fabio
2 Bloom, Bard
2 Chen, Yixiang
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 Kok, Joost N.
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 Simpson, Alex K.
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 Westmoreland, Michael D.
2 Wu, Mingyuan
2 Yang, Lingyun
2 Zhao, Dongsheng
...and 228 more Authors
all top 5

Cited in 71 Serials

43 Theoretical Computer Science
34 Fuzzy Sets and Systems
21 Journal of Pure and Applied Algebra
21 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 Information and Computation
8 Soft Computing
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 The Journal of Logic and Algebraic Programming
3 Cahiers de Topologie et Géométrie Différentielle Catégoriques
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 Annals of Mathematics and Artificial Intelligence
2 Logical Methods in Computer Science
2 Tbilisi Mathematical Journal
2 Journal of Logic and Analysis
2 Journal of Logical and Algebraic Methods in Programming
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 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 Journal of Mathematics
1 Nonlinear Analysis. Theory, Methods & Applications
1 Open Mathematics
1 Categories and General Algebraic Structures with Applications

Citations by Year