×

zbMATH — the first resource for mathematics

Mines, Ray

Compute Distance To:
Author ID: mines.ray Recent zbMATH articles by "Mines, Ray"
Published as: Mines, Ray; Mines, R.
Documents Indexed: 43 Publications since 1968, including 2 Books

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 212 times in 192 Documents Cited by Year
A course in constructive algebra. Zbl 0725.03044
Mines, Ray; Richman, Fred; Ruitenburg, Wim
92
1988
Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J.
16
2006
Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Zbl 1041.54034
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
13
2003
A family of functors defined on generalized primary groups. Zbl 0165.34104
Mines, Ray
11
1968
Topo-canonical completions of closure algebras and Heyting algebras. Zbl 1135.06009
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
10
2008
The constructive Jordan curve theorem. Zbl 0298.54020
Berg, G.; Julian, W.; Mines, R.; Richman, F.
8
1975
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
6
2006
Algebraic numbers, a constructive development. Zbl 0347.12001
Julian, W.; Mines, R.; Richman, F.
5
1978
Sequentially continuous linear mappings in constructive analysis. Zbl 0927.03082
Bridges, Douglas; Mines, Ray
5
1998
The Priestley separation axiom for scattered spaces. Zbl 0995.54024
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
4
2002
Bounded linear mappings of finite rank. Zbl 0467.47004
Bridges, Douglas; Calder, Allan; Julian, William; Mines, Ray; Richman, Fred
3
1981
Separability and factoring polynomials. Zbl 0499.12019
Mines, Ray; Richman, Fred
3
1982
Model induced triples and completions of abelian groups. Zbl 0418.18006
Mines, R.; Oxford, E.
3
1979
A constructive treatment of open and unopen mapping theorems. Zbl 0645.46006
Bridges, Douglas; Julian, William; Mines, Ray
3
1989
Completions of linearly topologized vector spaces. Zbl 0477.20036
Mader, A.; Mines, R.
2
1982
Alexander duality. Zbl 0516.55005
Julian, William; Mines, Ray; Richman, Fred
2
1983
Constructive dimension theory. Zbl 0337.55008
Richman, F.; Berg, G.; Cheng, H.; Mines, R.
2
1976
Functorial topologies with totally ordered neighborhood bases. Zbl 0426.20045
Mader, A.; Mines, R.
2
1980
Compactly generated Banach spaces. Zbl 0439.46012
Richman, Fred; Bridges, Douglas; Calder, Allan; Julian, William; Mines, Ray
2
1981
Butler groups and Bext: A constructive view. Zbl 0777.20022
Mines, R.; Vinsonhaler, C.
2
1992
p-adic congruences between binomial coefficients. Zbl 0732.11011
Giambalvo, V.; Mines, Ray; Pengelley, David J.
2
1991
The polydisk Nullstellensatz. Zbl 1055.03038
Bridges, Douglas; Mines, Ray; Richman, Fred; Schuster, Peter
2
2004
Torsion and cotorsion completions. Zbl 0191.02205
Mines, Ray
2
1968
Various continuity properties in constructive analysis. Zbl 1036.03049
Ishihra, Hajime; Mines, Ray
2
2001
Cotorsion modules over Noetherian hereditary rings. Zbl 0464.16024
Mines, Ray
1
1981
Picard’s theorem. Zbl 0492.30021
Bridges, Douglas; Calder, Allan; Julian, William; Mines, Ray; Richman, Fred
1
1982
Completions of valuated Abelian groups. Zbl 0517.20031
Mines, Ray
1
1983
The constructive equivalence of covering and inductive dimensions. Zbl 0359.54025
Berg, G.; Julian, W.; Mines, R.; Richman, F.
1
1977
A different completion functor. Zbl 0393.20039
Mines, R.
1
1977
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\). Zbl 0774.47030
Bridges, D. S.; Richman, F.; Julian, W. H.; Mines, R.
1
1992
Guaranteed intervals for Kolmogorov’s theorem (and their possible relation to neural networks). Zbl 0831.03033
Nakamura, Mutsumi; Mines, Ray; Kreinovich, Vladik
1
1993
Representations and duality. Zbl 0821.16012
Mines, R.; Vinsonhaler, C.; Wickless, W. J.
1
1994
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
What is constructive mathematics? Zbl 0561.03031
Bridges, Douglas; Mines, Ray
1
1984
Topo-canonical completions of closure algebras and Heyting algebras. Zbl 1135.06009
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
10
2008
Almost locatedness in uniform spaces. Zbl 1174.03027
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa
1
2007
Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J.
16
2006
Quasi-apartness and neighbourhood spaces. Zbl 1099.03053
Ishihara, Hajime; Mines, Ray; Schuster, Peter; Vîţă, Luminiţa
6
2006
The polydisk Nullstellensatz. Zbl 1055.03038
Bridges, Douglas; Mines, Ray; Richman, Fred; Schuster, Peter
2
2004
Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Zbl 1041.54034
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
13
2003
The Priestley separation axiom for scattered spaces. Zbl 0995.54024
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
4
2002
Various continuity properties in constructive analysis. Zbl 1036.03049
Ishihra, Hajime; Mines, Ray
2
2001
Sequentially continuous linear mappings in constructive analysis. Zbl 0927.03082
Bridges, Douglas; Mines, Ray
5
1998
Representations and duality. Zbl 0821.16012
Mines, R.; Vinsonhaler, C.; Wickless, W. J.
1
1994
Guaranteed intervals for Kolmogorov’s theorem (and their possible relation to neural networks). Zbl 0831.03033
Nakamura, Mutsumi; Mines, Ray; Kreinovich, Vladik
1
1993
Butler groups and Bext: A constructive view. Zbl 0777.20022
Mines, R.; Vinsonhaler, C.
2
1992
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\). Zbl 0774.47030
Bridges, D. S.; Richman, F.; Julian, W. H.; Mines, R.
1
1992
p-adic congruences between binomial coefficients. Zbl 0732.11011
Giambalvo, V.; Mines, Ray; Pengelley, David J.
2
1991
A constructive treatment of open and unopen mapping theorems. Zbl 0645.46006
Bridges, Douglas; Julian, William; Mines, Ray
3
1989
A course in constructive algebra. Zbl 0725.03044
Mines, Ray; Richman, Fred; Ruitenburg, Wim
92
1988
What is constructive mathematics? Zbl 0561.03031
Bridges, Douglas; Mines, Ray
1
1984
Alexander duality. Zbl 0516.55005
Julian, William; Mines, Ray; Richman, Fred
2
1983
Completions of valuated Abelian groups. Zbl 0517.20031
Mines, Ray
1
1983
Separability and factoring polynomials. Zbl 0499.12019
Mines, Ray; Richman, Fred
3
1982
Completions of linearly topologized vector spaces. Zbl 0477.20036
Mader, A.; Mines, R.
2
1982
Picard’s theorem. Zbl 0492.30021
Bridges, Douglas; Calder, Allan; Julian, William; Mines, Ray; Richman, Fred
1
1982
Bounded linear mappings of finite rank. Zbl 0467.47004
Bridges, Douglas; Calder, Allan; Julian, William; Mines, Ray; Richman, Fred
3
1981
Compactly generated Banach spaces. Zbl 0439.46012
Richman, Fred; Bridges, Douglas; Calder, Allan; Julian, William; Mines, Ray
2
1981
Cotorsion modules over Noetherian hereditary rings. Zbl 0464.16024
Mines, Ray
1
1981
Functorial topologies with totally ordered neighborhood bases. Zbl 0426.20045
Mader, A.; Mines, R.
2
1980
Model induced triples and completions of abelian groups. Zbl 0418.18006
Mines, R.; Oxford, E.
3
1979
Algebraic numbers, a constructive development. Zbl 0347.12001
Julian, W.; Mines, R.; Richman, F.
5
1978
The constructive equivalence of covering and inductive dimensions. Zbl 0359.54025
Berg, G.; Julian, W.; Mines, R.; Richman, F.
1
1977
A different completion functor. Zbl 0393.20039
Mines, R.
1
1977
Constructive dimension theory. Zbl 0337.55008
Richman, F.; Berg, G.; Cheng, H.; Mines, R.
2
1976
The constructive Jordan curve theorem. Zbl 0298.54020
Berg, G.; Julian, W.; Mines, R.; Richman, F.
8
1975
A family of functors defined on generalized primary groups. Zbl 0165.34104
Mines, Ray
11
1968
Torsion and cotorsion completions. Zbl 0191.02205
Mines, Ray
2
1968
all top 5

Cited by 179 Authors

23 Lombardi, Henri
18 Bridges, Douglas Suth
16 Bezhanishvili, Guram
14 Richman, Fred
14 Yengui, Ihsen
13 Schuster, Peter Michael
12 Ishihara, Hajime
10 Coquand, Thierry
7 Mines, Ray
7 Quitté, Claude
6 Bezhanishvili, Nick
5 Gabelaia, David
5 Wessel, Daniel
4 Davey, Brian A.
4 Ducos, Lionel
4 Esakia, Leo
4 Priestley, Hilary A.
4 Rinaldi, Davide
3 Julian, William H.
3 Keef, Patrick W.
3 Morandi, Patrick J.
3 Palmgren, Erik
3 Perdry, Hervé
3 Petrakis, Iosif
3 Romano, Daniel Abraham
2 Aczel, Peter
2 Alonso García, María Emilia
2 Barhoumi, Sami
2 Calder, Allan
2 Crvenković, Siniša
2 Darnière, Luck
2 Díaz-Toca, Gema María
2 Fuchs, László
2 Ghilardi, Silvio
2 Gianni, Patrizia M.
2 Gonzalez-Vega, Laureano
2 Harding, John
2 Haviar, Miroslav
2 Iemhoff, Rosalie
2 Junker, Markus
2 Ko, Ker-I
2 Kohlenbach, Ulrich Wilhelm
2 Künzi, Hans-Peter A.
2 Lucero-Bryan, Joel Gregory
2 Megibben, Charles K.
2 Merrin, Stephen
2 Mishina, A. P.
2 Mitrović, Melanija S.
2 Moraschini, Tommaso
2 Neuwirth, Stefan
2 Salce, Luigi
2 Spitters, Bas
2 ten Cate, Balder David
2 Trager, Barry M.
2 Vîţă, Luminiţa Simona
2 Vosmaer, Jacob
2 Yu, Fuxiang
1 Adiprasito, Karim Alexander
1 Aguilera, Juan Pablo
1 Altenkirch, Thorsten
1 Ávila, F.
1 Baboolal, Dharmanand
1 Barras, Bruno
1 Bazzoni, Silvana
1 Bonacina, Roberta
1 Boutry, Nicolas
1 Braun, Jürgen
1 Brunner, Andreas Bernhard Michael
1 Buss, Samuel R.
1 Carlström, Jesper
1 Carmelo, Emerson L. do Monte
1 Castiglioni, José Luis
1 Castoldi, André Guerino
1 Cherubini, Alessandra Spoletini
1 Clark, David Michael
1 Constable, Robert Lee
1 Coste, Michel
1 Cutler, Doyle O.
1 da Silva, Robson
1 De Jager, Eliza P.
1 de Oliveira, Pedro H. A.
1 Dediu, Luminiţa Simona
1 Diener, Hannes
1 Droste, Manfred
1 Düntsch, Ivo
1 Ellouz, Afef
1 Evseev, Anton
1 Fedorchuk, Vitaly Vitalievich
1 Feferman, Solomon
1 Fellows, Michael Ralph
1 Fernández Duque, David
1 Filippov, Vladimir V.
1 Fortuna, Elisabetta
1 Frigeri, Achille
1 Gamanda, Maroua
1 Generalov, Aleksandr Ivanovich
1 Géraud, Thierry
1 Gerhardy, Philipp
1 Giambalvo, Vincent
1 Göbel, Rüdiger
...and 79 more Authors
all top 5

Cited in 69 Serials

15 Annals of Pure and Applied Logic
14 Journal of Algebra
10 Communications in Algebra
8 MSCS. Mathematical Structures in Computer Science
8 Archive for Mathematical Logic
7 Order
7 Indagationes Mathematicae. New Series
6 The Journal of Symbolic Logic
6 Proceedings of the American Mathematical Society
5 Studia Logica
4 Algebra Universalis
4 Journal of Soviet Mathematics
4 Theoretical Computer Science
4 Applied Categorical Structures
4 Mathematical Logic Quarterly (MLQ)
3 Archiv der Mathematik
3 Compositio Mathematica
3 Journal of Pure and Applied Algebra
3 Mathematische Zeitschrift
3 Journal of Symbolic Computation
3 Journal of Applied Non-Classical Logics
2 Rocky Mountain Journal of Mathematics
2 Mathematics of Computation
2 Advances in Mathematics
2 Rendiconti del Seminario Matematico della Università di Padova
2 Semigroup Forum
2 Topology and its Applications
2 Applicable Algebra in Engineering, Communication and Computing
2 Journal of Algebra and its Applications
2 Logical Methods in Computer Science
2 Journal of Commutative Algebra
1 Acta Mathematica Academiae Scientiarum Hungaricae
1 American Mathematical Monthly
1 Journal of Mathematical Analysis and Applications
1 Mathematische Semesterberichte
1 The Mathematical Intelligencer
1 Algebra and Logic
1 Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV
1 Dissertationes Mathematicae
1 Publications Mathématiques
1 Journal of Approximation Theory
1 Journal of Combinatorial Theory. Series A
1 Journal of Functional Analysis
1 Journal of Number Theory
1 Journal of Philosophical Logic
1 Manuscripta Mathematica
1 Mathematische Nachrichten
1 Notre Dame Journal of Formal Logic
1 Quaestiones Mathematicae
1 Tohoku Mathematical Journal. Second Series
1 Transactions of the American Mathematical Society
1 Acta Mathematica Hungarica
1 Journal of Complexity
1 Constructive Approximation
1 Designs, Codes and Cryptography
1 Linear Algebra and its Applications
1 Journal of Mathematical Imaging and Vision
1 Computational and Applied Mathematics
1 Bulletin des Sciences Mathématiques
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Oberwolfach Reports
1 Logica Universalis
1 Asian-European Journal of Mathematics
1 The Review of Symbolic Logic
1 ISRN Applied Mathematics
1 Forum of Mathematics, Sigma
1 Actes des Rencontres du C.I.R.M.

Citations by Year