I have proved that \mathscr{S} is an order isomorphism from the poset of unfixed filters to the poset of filters on the poset of small sets.

This reveals the importance of the poset of filters on the poset of small sets.

See the new version of my book.

Leave a Reply

Your email address will not be published. Required fields are marked *