Skip to content
March 2, 2018 / porton

A new partial result about products of filters [ERROR!]

Below contains an error.

Trying to calculate (\mathcal{B} \times^{\mathsf{RLD}}_F \mathcal{C}) \circ (\mathcal{A} \times^{\mathsf{RLD}}_F \mathcal{B}), I’ve proved (not yet quite thoroughly checked for errors) the following partial result:

Proposition (\mathcal{B} \times^{\mathsf{RLD}}_F \mathcal{C}) \circ (\mathcal{A} \times^{\mathsf{RLD}}_F \mathcal{B}) \neq \mathcal{A} \times^{\mathsf{RLD}}_F \mathcal{C} for some proper filters \mathcal{A}, \mathcal{B}, \mathcal{C}.

Currently the proof is located in this file.

One Comment

Leave a Comment
  1. porton / Mar 4 2018 22:30

    The proof was with an error.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: