Comparison of the topological and relational semantics of superintuitionistic logics (Q795828): Difference between revisions

Let some condition \(\Omega\) single out the class \(T\Omega\) from all (topological) spaces, and posets satisfying this condition form a subclass T'\(\Omega\) \(\subseteq T\Omega\). Topological and relational semantics are \(\Omega\)-equivalent provided, for any (superintuitionistic) logic L, L is determined by spaces from \(T\Omega\) iff this is done by posets from T'\(\Omega\). Condition \(\Omega\) is stronger than condition \(\Omega\) ' \((\Omega \to \Omega ')\) if every logic is determined by spaces from the class \(T\Omega\) ' every time it is determined by spaces from the class \(T\Omega\). Different \(\Omega\) conditions are considered based on the concept of space width. Space width is the supremum of cardinalities of independent families of open sets in this space (the family \(\{X_ i\}_{i\in {\mathcal I}})\) is independent if \((\forall i\in {\mathcal I})(\cap(X_ j| j\neq i)\not\subseteq X_ i)).\) Let the conditions \(\Omega_ n (n<\omega)\), \(\Omega_{fws}\), \(\Omega_{ts}\) and \(\Omega_{\omega}\) single out spaces of width \(\leq n\), finite width spaces, spaces lacking any infinite independent family (tight spaces) and spaces of width \(\leq \omega\), respectively. It is proved that \(\Omega_ 1\to \Omega_ 2\to...\to \Omega_{fws}\to \Omega_{ts}\to \Omega_{\omega}\) and converses of the arrows are impossible; topological and relational semantics are \(\Omega_ n\), \(\Omega_{fws}\), \(\Omega_{ts}\)-equivalent. The question of the \(\Omega_{\omega}\)- equivalence of these semantics remains open.