Sciweavers

AIML
2008
14 years 1 months ago
On the intermediate logic of open subsets of metric spaces
In this paper we study the intermediate logic MLO(X) of open subsets of a metric space X. This logic is closely related to Medvedev's logic of finite problems ML. We prove sev...
Timofei Shatrov