1
- Grammars over numbers
- Grammar example 1
- Grammar example 2
- Grammar Example 3
- Grammars
- Decidability of zeroness
- Uses HBT
- Algebraic closure
- Closure example 1
- Closure example 2
- Main Lemma
- Main lemma implies decidability
- Decidability uses HBT
- HBT
- HBT uses Dickson
- Representation of closed sets
- Computing on representations
- checking solutions for grammars
- Back to decidability corollary
- Main lemma, again
- Proof of Main Lemma
- Closure of product
- Closure of product, 2
- Closure of preimage
- Closure of preimage, 2
- Main lemma, big view