• Part 2: First-order logic

• 2.9 Well-founded orderings
  • Partial Orderings
    • strict partial orderings, well-founded orderings; examples
    • the existence of minimal elements in subsets of well-ordered sets
    • noetherian induction

  • Multisets
    • definition, operations with multisets
    • multiset orderings
  
  Imprint | Data Protection