Finding:

1. close

   Complete Heyting algebra

   In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra which is complete as a lattice. Complete Heyting algebras are the objects of three different categories; the category CHey, the category Loc of locales, and its opposite, the category Frm of frames.
2. close

   Heyting algebra

   In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. ... A complete Heyting algebra is a Heyting algebra that is a complete lattice.
3. close

   Complete Boolean algebra

   The algebra of all measurable subsets of a measure space is a ℵ1-complete Boolean algebra, but is not usually complete. ... Complete Heyting algebra
4. close

   Arend Heyting

   Arend Heyting (May 9, 1898 – July 9, 1980) was a Dutch mathematician and logician. ... Heyting algebra
5. close

   List of order theory topics

   This is a list of order theory topics. ... Complete Heyting algebra
6. close

   Outline of order theory

   This is a list of order topics. ... Complete Heyting algebra
7. close

   List of order topics

   This is a list of order topics. ... Complete Heyting algebra
8. close

   Glossary of order theory

   This is a glossary of some terms used in various branches of mathematics that are related to the fields of order, lattice, and domain theory. ... Complete Heyting algebra.
9. close

   List of Boolean algebra topics

   Complete Boolean algebra ... Heyting algebra
10. close

    Outline of Boolean algebra

    Complete Boolean algebra ... Heyting algebra

Explore the following pages on Powerset:

• Complete Heyting algebra,
• Heyting algebra,
• Complete Boolean algebra,
• Arend Heyting,
• List of order theory topics,
• Outline of order theory,
• List of order topics,
• Glossary of order theory,
• List of Boolean algebra topics,
• Outline of Boolean algebra

Try this on Bing Research

Bing