Re: Atomic vs. atomistic



On Nov 26, 6:05 pm, Victor Porton <por...@xxxxxxxx> wrote:
On this Wikipedia page:http://en.wikipedia.org/wiki/Boolean_algebras_canonically_defined
is written:
"Such an algebra can be defined equivalently as a complete Boolean
algebra that is atomic, meaning that every element is a sup of some
set of atoms."

However in this Wikipedia page:http://en.wikipedia.org/wiki/Lattice_(order)
is written:
* Atomic if for every nonzero element x of L, there exists an atom a
of L such that a ≤ x ;
* Atomistic if every element of L is a supremum of atoms. That is, for
all a, b in L such that a\nleq b, there exists an atom x of L such
that x\leq a and x\nleq b.

Thus, accordingly the latter, the Boolean_algebras_canonically_defined
should speak about "atomistic" rather than about "atomic" lattices.

Where is the error? and what is the correct usage of terms?

Why do you think there is an error? Your first quotation speaks of
complete Boolean algebras. In the special case of complete Boolean
algebras, "atomic" is equivalent to "atomistic". So what?
.



Relevant Pages

  • Re: Atomic vs. atomistic
    ... "Such an algebra can be defined equivalently as a complete Boolean ... meaning that every element is a sup of some ... Atomistic if every element of L is a supremum of atoms. ...
    (sci.math)
  • Re: 2nd-order logic in lower-order language
    ... element, but NOT a subclass, of the domain). ... a boolean algebra, one could argue that the linguistic primitives must ... at a bare minimum be those occurring in an axiomatization of boolean ...
    (sci.logic)
  • Re: So whats null then if its not nothing?
    ... >>> most people associate the term Boolean with the most simple Boolean ... >>> algebra, that has only True and False. ... >>sensible, for example, in demanding that 'zero times NULL' should be ...
    (comp.databases.theory)
  • Re: boolean datatype ... wtf?
    ... required scalar data type: “We require that at least one built-in ... An algebra is a set of values and a set of operations closed on that set ... a relation; it is a boolean. ...
    (comp.databases.theory)
  • Re: help with boolean algebra
    ... There's quite a bit to say about boolean algebra. ... geometry over the field Z/2. ... over the integers, looking for integer solutions. ...
    (comp.lang.lisp)