graphs is ω categorical, complete, and decidable, and its countable model is called the Rado graph. A statement in the language of graphs is true in this theory if and only if the probability that an n-vertex random graph models the statement tends to 1 in the limit as n goes to infinity. Boolean algebras There are several different signatures and conventions used for Boolean algebras: The signature has two constants, 0 and 1, and two binary functions ∧ and ∨ ("and" and "or"), and one unary function ¬ ("not"). This can be confusing as the functions use the same symbols as the propositional functions of first-order logic. In set theory, a common convention is that the language has two constants, 0 and 1, and two binary functions · and +, and one unary function −. The three functions have the same interpretation as the functions in the first convention. Unfortunately, this convention clashes badly with the next convention: In algebra, the usual convention is that the language has two constants, 0 and 1, and two binary functions · and +. The function · has the same meaning as ∧, but a+b means a∨b∧¬(a∧b). The reason for this is that the axioms for a Boolean algebra are then just the axioms for a ring with 1 plus ∀x x2 = x. Unfortunately this clashes with the standard convention in set theory given above. The axioms are: The axioms for a distributive lattice (see above) ∀a a∧¬a = 0, ∀a a∨¬a = 1 (properties of negation) Some authors add the extra axiom ¬0 = 1, to exclude the trivial algebra with one element. Tarski proved that the theory of Boolean algebras is decidable. We write x ≤ y as an abbreviation for x∧y = x, and atom(x) as an abbreviation for ¬x = 0 ∧ ∀y y ≤ x → y = 0 ∨ y = x, read as "x is an atom", in other words a non-zero element with nothing between it and 0. Here are some first-order properties of Boolean algebras: Atomic: ∀x x = 0 ∨ ∃y y ≤ x ∧ atom(y) Atomless: ∀x ¬atom(x) The theory of atomless Boolean algebras is ω-categorical and complete. For any Boolean algebra B, there are several invariants defined as follows. the ideal I(B) consists of elements that are the sum of an atomic and an atomless element (an element with no