Sciweavers

71
Voted
AIML
2008
14 years 10 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