The value of node "other"

It seems that the node "other" is not $ \lambda f\in\mathsf{FCD}: \top $.

I conjecture $ \langle \Phi_{\ast}  (\mathsf{RLD})_{\operatorname{out}} \rangle f = (\mathsf{FCD}) f $ where $ f $ is the reloid defined by the cofinite filter on $ A \times B $ and thus $ \langle (\mathsf{FCD}) f \rangle \{ x \} = \bot $ for all singletons $ \{ x \} $ and $ \langle (\mathsf{FCD}) f \rangle p = \top $ for every nontrivial atomic filter $ p $.

This is my very recent thoughts and yet needs to be checked.

-- Victor Porton - http://www.mathematics21.org

Reply

Comments are limited to a maximum of 1000 characters.
More information about formatting options