Skip to content
October 11, 2015 / porton

The set of ideals on an infinite join-semilattice is a boolean algebra

The below is wrong, because pointfree funcoids between boolean algebras are not the same as 2-staroids between boolean algebras. It was an error.

I have just discovered that the set of ideals on an infinite join-semilattice is a boolean algebra (moreover it is a complete atomistic boolean algebra).

For me, it is a very counter-intuitive theorem (after all the set of ideals “should” not be boolean algebra, except of the finite case). Is it worth to call it a paradox?

See this link for details:
http://math.stackexchange.com/questions/1475328/when-ideals-are-a-boolean-algebra

Advertisements

One Comment

Leave a Comment
  1. porton / Oct 12 2015 10:30

    It was an error.

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 )

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s

%d bloggers like this: