Open subspaces of locally compact metric spaces
From MaRDI portal
Publication:4304132
DOI10.1002/malq.19930390124zbMath0837.54020MaRDI QIDQ4304132
Publication date: 8 September 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19930390124
03F60: Constructive and recursive analysis
03F65: Other constructive mathematics
54D45: Local compactness, (sigma)-compactness
Related Items
Cites Work