Quantified intuitionistic logic over metrizable spaces
In the topological semantics, quantified intuitionistic logic, QH, is known to be strongly complete not only for the class of all topological spaces, but also for some particular topological spaces -- for example, for the irrational line, ℙ, and for the rational line, ℚ, in each case with a constant countable domain for the quantifiers. Each of ℙ and ℚ is a separable zero-dimensional dense-in-itself metrizable space. The main result of the current paper generalizes these known results: QH is strongly complete for any zero-dimensional dense-in-itself metrizable space with a constant domain of cardinality ≤ the space's weight; consequently, QH is strongly complete for any separable zero-dimensional dense-in-itself metrizable space with a constant countable domain. We also prove a result that follows from earlier work of Moerdijk: if we allow varying domains for the quantifiers then QH is strongly complete for any dense-in-itself metrizable space with countable domains.
Keywords: Quantified intuitionistic logic, topological semantics, completeness.