Sciweavers

74
Voted
AIML
2008
14 years 11 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