UntitledDrawing exported from Concepts: Smarter Sketching
1
  1. Grammars over numbers
  2. Grammar example 1
  3. Grammar example 2
  4. Grammar Example 3
  5. Grammars
  6. Decidability of zeroness
  7. Uses HBT
  8. Algebraic closure
  9. Closure example 1
  10. Closure example 2
  11. Main Lemma
  12. Main lemma implies decidability
  13. Decidability uses HBT
  14. HBT
  15. HBT uses Dickson
  16. Representation of closed sets
  17. Computing on representations
  18. checking solutions for grammars
  19. Back to decidability corollary
  20. Main lemma, again
  21. Proof of Main Lemma
  22. Closure of product
  23. Closure of product, 2
  24. Closure of preimage
  25. Closure of preimage, 2
  26. Main lemma, big view