Pages that link to "Book:G. Gierz/A Compendium of Continuous Lattices"

What links here

Page:  Namespace:  all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk Mathematician Mathematician talk Book Book talk Module Module talk  Invert selection

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Book:G. Gierz/A Compendium of Continuous Lattices:

Displayed 50 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Directed iff Finite Subsets have Upper Bounds ‎ (← links)
• Filtered iff Finite Subsets have Lower Bounds ‎ (← links)
• Singleton is Directed and Filtered Subset ‎ (← links)
• Directed iff Lower Closure Directed ‎ (← links)
• Filtered iff Upper Closure Filtered ‎ (← links)
• Directed in Join Semilattice ‎ (← links)
• Filtered in Meet Semilattice ‎ (← links)
• Directed in Join Semilattice with Finite Suprema ‎ (← links)
• Filtered in Meet Semilattice with Finite Infima ‎ (← links)
• Existence of Non-Empty Finite Suprema in Join Semilattice ‎ (← links)
• Existence of Non-Empty Finite Infima in Meet Semilattice ‎ (← links)
• Mapping Preserves Finite and Filtered Infima ‎ (← links)
• Mapping Preserves Finite and Directed Suprema ‎ (← links)
• Infima Preserving Mapping on Filters is Increasing ‎ (← links)
• Upper Closure of Element is Filter ‎ (← links)
• Infimum of Upper Closure of Element ‎ (← links)
• Lower Closure of Element is Ideal ‎ (← links)
• Supremum of Lower Closure of Element ‎ (← links)
• Upper Closure is Decreasing ‎ (← links)
• Lower Closure is Increasing ‎ (← links)
• Suprema Preserving Mapping on Ideals is Increasing ‎ (← links)
• Infima Preserving Mapping on Filters Preserves Filtered Infima ‎ (← links)
• Suprema Preserving Mapping on Ideals Preserves Directed Suprema ‎ (← links)
• Up-Complete Lower Bounded Join Semilattice is Complete ‎ (← links)
• Lattice is Complete iff it Admits All Suprema ‎ (← links)
• Galois Connection is Expressed by Minimum ‎ (← links)
• Galois Connection is Expressed by Maximum ‎ (← links)
• Upper Adjoint Preserves All Infima ‎ (← links)
• Lower Adjoint Preserves All Suprema ‎ (← links)
• All Infima Preserving Mapping is Upper Adjoint of Galois Connection ‎ (← links)
• All Suprema Preserving Mapping is Lower Adjoint of Galois Connection ‎ (← links)
• Galois Connection Implies Order on Mappings ‎ (← links)
• Ordering on Mappings Implies Galois Connection ‎ (← links)
• Shift Mapping is Lower Adjoint iff Appropriate Maxima Exist ‎ (← links)
• Brouwerian Lattice iff Shift Mapping is Lower Adjoint ‎ (← links)
• Brouwerian Lattice is Distributive ‎ (← links)
• Brouwerian Lattice is Upper Bounded ‎ (← links)
• Relative Pseudocomplement and Shift Mapping form Galois Connection in Brouwerian Lattice ‎ (← links)
• Inequality with Meet Operation is Equivalent to Inequality with Relative Pseudocomplement in Brouwerian Lattice ‎ (← links)
• Top equals to Relative Pseudocomplement in Brouwerian Lattice ‎ (← links)
• Up-Complete Product ‎ (← links)
• Up-Complete Product/Lemma 1 ‎ (← links)
• Up-Complete Product/Lemma 2 ‎ (← links)
• Meet-Continuous iff Ideal Supremum is Meet Preserving ‎ (← links)
• Lower Closure of Meet of Lower Closures ‎ (← links)
• Meet Preserves Directed Suprema ‎ (← links)
• Supremum of Meet Image of Directed Set ‎ (← links)
• Meet Preserves Directed Suprema/Lemma 2 ‎ (← links)
• Supremum by Suprema of Directed Set in Simple Order Product ‎ (← links)
• Meet is Directed Suprema Preserving implies Meet of Suprema equals Supremum of Meet of Directed Subsets ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)