Open subspaces of locally compact metric spaces

Mathematical Logic Quarterly 39 (1):213-216 (1993)
  Copy   BIBTEX

Abstract

Although classically every open subspace of a locally compact space is also locally compact, constructively this is not generally true. This paper provides a locally compact remetrization for an open set in a compact metric space and constructs a one-point compactification. MSC: 54D45, 03F60, 03F65

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390124

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Resolution of the uniform lower bound problem in constructive analysis.Erik Palmgren - 2008 - Mathematical Logic Quarterly 54 (1):65-69.
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Actions of non-compact and non-locally compact polish groups.Sławomir Solecki - 2000 - Journal of Symbolic Logic 65 (4):1881-1894.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Embeddings of countable closed sets and reverse mathematics.Jeffry L. Hirst - 1993 - Archive for Mathematical Logic 32 (6):443-449.
Generalizations of small profinite structures.Krzysztof Krupiński - 2010 - Journal of Symbolic Logic 75 (4):1147-1175.
Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
Compact representations of BL-algebras.Antonio Di Nola & Laurentiu Leustean - 2003 - Archive for Mathematical Logic 42 (8):737-761.
Continuous homomorphisms of R onto a compact group.Douglas Bridges & Matthew Hendtlass - 2010 - Mathematical Logic Quarterly 56 (2):191-197.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.

Analytics

Added to PP
2013-12-01

Downloads
7 (#1,360,984)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.

Add more references