Ray Mines

According to our database, Ray Mines authored at least 5 papers between 1989 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2006

Profinite Completions and Canonical Extensions of Heyting Algebras.

Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi

Order, 2006

Quasi-apartness and neighbourhood spaces.

Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta

Ann. Pure Appl. Log., 2006

2002

The Priestley Separation Axiom for Scattered Spaces.

Guram Bezhanishvili, Ray Mines, Patrick J. Morandi

Order, 2002

1998

Sequentially Continuous Linear Mappings in Constructive Analysis.

Douglas S. Bridges, Ray Mines

J. Symb. Log., 1998

1989

A Constructive Treatment of Open and Unopen Mapping Theorems.

Douglas S. Bridges, William Julian, Ray Mines

Math. Log. Q., 1989