Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Criterion for Compactness in Metric Spaces? - MaRDI portal

A Criterion for Compactness in Metric Spaces?

From MaRDI portal

Publication:4200057

Jump to:navigation, search

DOI10.1002/malq.19790250702zbMath0413.03036OpenAlexW2107009537MaRDI QIDQ4200057

Douglas S. Bridges

Publication date: 1979

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790250702

zbMATH Keywords

completeness constructive mathematics compact metric space separable metric space totally bounded space

Mathematics Subject Classification ID

Compactness (54D30) Metric spaces, metrizability (54E35) Other constructive mathematics (03F65)

Related Items (1)

On the foundations of best approximation theory

This page was built for publication: A Criterion for Compactness in Metric Spaces?

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4200057&oldid=18045804"