Skip to content
March 16, 2016 / porton

I’ve partially proved a conjecture

The following is a conjecture:

Conjecture The set of pointfree funcoids between two boolean lattices is itself a boolean lattice.

Today I have proved its special case:

Theorem The set of pointfree funcoids between a complete boolean lattice and an atomistic boolean lattice is itself a boolean lattice.

It is a very weird theorem because of its asymmetric conditions.

My proof (preluded with some special cases for better readability) is presented in this PDF file. Note that in the future I am going to more it from this file to my book.

Advertisements

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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: