Ray Mines

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3296117	2020-07-06	Paper
Almost locatedness in uniform spaces	2009-03-31	Paper
Topo-canonical completions of closure algebras and Heyting algebras	2008-03-12	Paper
Profinite completions and canonical extensions of Heyting algebras	2007-01-25	Paper
Quasi-apartness and neighbourhood spaces	2006-08-16	Paper
The polydisk nullstellensatz	2004-03-29	Paper
Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.	2003-09-04	Paper
The Priestley separation axiom for scattered spaces	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4552740	2001-01-01	Paper
Sequentially continuous linear mappings in constructive analysis	1998-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4851733	1996-02-20	Paper
A course in constructive algebra	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4025939	1993-02-21	Paper
Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3358799	1991-01-01	Paper
A Constructive Treatment of Open and Unopen Mapping Theorems	1989-01-01	Paper
The intermediate value theorem: Preimages of compact sets under uniformly continuous functions	1988-01-01	Paper
Archimedean Valuations	1986-01-01	Paper
Valuation theory: A constructive view	1984-01-01	Paper
What is constructive mathematics?	1984-01-01	Paper
Alexander duality	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3665325	1983-01-01	Paper
Separability and factoring polynomials	1982-01-01	Paper
Picard's Theorem	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3310728	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3915120	1981-01-01	Paper
Compactly generated Banach spaces	1981-01-01	Paper
Bounded linear mappings of finite rank	1981-01-01	Paper
epsilon-covering dimension	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912578	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919710	1981-01-01	Paper
Algebraic numbers, a constructive development	1978-01-01	Paper
A family of functors defined on generalized primary groups	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5584603	1968-01-01	Paper

Research outcomes over time

This page was built for person: Ray Mines