Boolean prime ideal theorem
Boolean prime ideal theorem In mathematics, a number of prime ideal theorems for guaranteeing the existence ...
http://en.wikipedia.org/wiki/Boolean_prime_ideal_theorem - 20k - Cached - Similar pages

Talk:Boolean prime ideal theorem
Talk:Boolean prime ideal theorem ultrafilter lemma "Apparently, the ultrafilter lemma also ... of this, showing that ultrafilter lemma-->compactness theorem-->BPI for free Boolean algebras-->BPI. ...
http://en.wikipedia.org/wiki/Talk:Boolean_prime_ideal_theorem - 1k - Cached - Similar pages

Prime ideal theorem
Prime ideal theorem In mathematics, the prime ideal theorem may be the Boolean prime ...
http://en.wikipedia.org/wiki/Prime_ideal_theorem - 0k - Cached - Similar pages

Stone's representation theorem for Boolean algebras
Stone's representation theorem for Boolean algebras In mathematics, Stone's representation theorem for Boolean algebras, named in honor of Marshall H ... is the duality between the category of Boolean algebras and the category of Stone ...
http://en.wikipedia.org/wiki/Stone's_representation_theorem_for_Boolean_algebras - 6k - Cached - Similar pages

Ideal (order theory)
Ideal (order theory) In mathematical order theory, an ideal is a special subset of a partially ... derived from the notion of a ring ideal of abstract algebra, it has subsequently been ... partially ordered set (P,≤) is an ideal, if the following conditions hold: For every ... the most general way to define an ideal for arbitrary posets, it was originally ...
http://en.wikipedia.org/wiki/Ideal_(order_theory) - 14k - Cached - Similar pages

Boolean algebra
Boolean algebra For a basic intro to sets, Boolean operations, Venn diagrams, truth tables, and Boolean applications, see Boolean logic. For the use of binary numbers ... article binary arithmetic. In abstract algebra, a Boolean algebra is an algebraic structure (a ...
http://en.wikipedia.org/wiki/Boolean_algebra - 28k - Cached - Similar pages

Ideal (ring theory)
Ideal (ring theory) In ring theory, a branch of abstract algebra, an ideal is a special subset of a ring. The ideal concept generalizes in an appropriate way some ... 3". For instance, in rings one studies prime ideals instead of prime numbers, one defines coprime ideals as ...
http://en.wikipedia.org/wiki/Ideal_(ring_theory) - 13k - Cached - Similar pages

Category:Boolean algebra
Category:Boolean algebra A Boolean algebra is a fundamental model of elementary formal logic. Pages in category "Boolean algebra" There are 33 pages in this section of this category. List of Boolean algebra topics * Boolean algebra A Absorption law Algebraic normal ...
http://en.wikipedia.org/wiki/Category:Boolean_algebra - 2k - Cached - Similar pages

Tychonoff's theorem
Tychonoff's theorem In mathematics, Tychonoff's theorem states that the product of any collection ... equivalent to the axiom of choice. This theorem of Tychonoff has many applications in differential ... compactification or in the proof of the Theorem of Banach-Alaoglu. It was published in ... A. Tychonoff. Sketch of proof Tychonoff's theorem is complex, and its proof is ...
http://en.wikipedia.org/wiki/Tychonoff's_theorem - 15k - Cached - Similar pages

List of Boolean algebra topics
List of Boolean algebra topics Algebra of sets Ampheck Boole, George Boolean algebra Boolean domain Boolean function Boolean logic Boolean implicant Boolean prime ideal ...
http://en.wikipedia.org/wiki/List_of_Boolean_algebra_topics - 2k - Cached - Similar pages