Ray Mines

Publication Activity (10 Years)

Years Active: 1989-2006
Publications (10 Years): 0

Publications

Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi
Profinite Completions and Canonical Extensions of Heyting Algebras. Order 23 (2-3) (2006)
Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta
Quasi-apartness and neighbourhood spaces. Ann. Pure Appl. Log. 141 (1-2) (2006)
Guram Bezhanishvili, Ray Mines, Patrick J. Morandi
The Priestley Separation Axiom for Scattered Spaces. Order 19 (1) (2002)
Douglas S. Bridges, Ray Mines
Sequentially Continuous Linear Mappings in Constructive Analysis. J. Symb. Log. 63 (2) (1998)
Douglas S. Bridges, William Julian, Ray Mines
A Constructive Treatment of Open and Unopen Mapping Theorems. Math. Log. Q. 35 (1) (1989)