I found the counter-example:
Consider the power set of the reals R. Consider the Boolean subalgebra A of R generated by the following intervals
(-oo, a)
[b,c}
[d,oo)
empty set
where a,b,c,d are reals.
Then A is complete and atomless, and A is not lattice isomorphic to any power set of a set. |
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)