Statements (73)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:mathematics gptkb:topology computer science |
| gptkbp:hasApplication |
gptkb:formal_concept_analysis
gptkb:semantics_of_programming_languages optimization domain theory logic programming data structures database theory |
| gptkbp:hasConcept |
gptkb:Tarski's_fixed_point_theorem
gptkb:algebra gptkb:Hasse_diagram gptkb:Dilworth's_theorem gptkb:Galois_connection gptkb:Zorn's_lemma preorder complete lattice lattice partial order antichain ascending chain condition cardinal number chain closure operator descending chain condition dimension of a poset directed set distributive lattice filter fixed point theorem greatest element infimum interval interval order join least element lower bound meet modular lattice monotone function order embedding order ideal order isomorphism order-preserving map ordinal number strict order supremum total order upper bound well-foundedness well-quasi-order |
| https://www.w3.org/2000/01/rdf-schema#label |
order theory
|
| gptkbp:relatedTo |
gptkb:set_theory
gptkb:category_theory combinatorics graph theory |
| gptkbp:studies |
antichains
chains lattices ordered sets partially ordered sets posets total orders well-orders |
| gptkbp:bfsParent |
gptkb:Dedekind's_theorem
gptkb:Tarski's_fixed_point_theorem gptkb:Erdős–Dushnik–Miller_theorem gptkb:Heyting_algebra |
| gptkbp:bfsLayer |
5
|