Results 151 to 160 of about 307 (168)
Some of the next articles are maybe not open access.
Mathematical Logic Quarterly, 2007
AbstractEvery second‐countable regular topological space X is metrizable. For a given “computable” topological space satisfying an axiom of computable regularity M. Schröder [10] has constructed a computable metric. In this article we study whether this metric space (X, d) can be considered computationally as a subspace of some computable metric space [
Tanja Grubba +2 more
openaire +1 more source
AbstractEvery second‐countable regular topological space X is metrizable. For a given “computable” topological space satisfying an axiom of computable regularity M. Schröder [10] has constructed a computable metric. In this article we study whether this metric space (X, d) can be considered computationally as a subspace of some computable metric space [
Tanja Grubba +2 more
openaire +1 more source
Metrizable Barrelled Countable Enlargements
Bulletin of the London Mathematical Society, 1999Summary: In 1980 \textit{W. J. Robertson}, \textit{I. Tweddle} and \textit{F. E. Yeomans} [Bull. Austr. Math. Soc. 22, 99-112 (1980; Zbl 0428.46004)] solved the metrizable BCE problem in certain special cases, for example, in the normable case under assumption of the Continuum Hypothesis (CH).
openaire +2 more sources
Annals of the New York Academy of Sciences, 1993
ABSTRACTThis paper provides a brief, nontraditional introduction to the historically important metrization theorems from 1910 to 1951. The intent is to show an evolution of ideas that lead to proofs for these results and that demonstrate how these theorems develop as a common thread.
S. D. SHORE, LAURIE J. SAWYER
openaire +1 more source
ABSTRACTThis paper provides a brief, nontraditional introduction to the historically important metrization theorems from 1910 to 1951. The intent is to show an evolution of ideas that lead to proofs for these results and that demonstrate how these theorems develop as a common thread.
S. D. SHORE, LAURIE J. SAWYER
openaire +1 more source
Annals of Pure and Applied Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Mathematics of the USSR-Izvestiya, 1980
In this paper the author studies spaces in which one can define a "distance" from points to canonically closed sets (the -metric). It is proved that products of metric spaces and locally compact groups are examples of such spaces, and in these cases the -metric can be constructed so that an analogue of the triangle axiom is satisfied.
openaire +2 more sources
In this paper the author studies spaces in which one can define a "distance" from points to canonically closed sets (the -metric). It is proved that products of metric spaces and locally compact groups are examples of such spaces, and in these cases the -metric can be constructed so that an analogue of the triangle axiom is satisfied.
openaire +2 more sources