Posts for year 2010
- Some awful maths jokes
- Disappointing Stationery
- Some notation for FPAs and HNN extensions
- Infinite trees are \(E_3\) (maybe)
- Lists and finite trees are \(E_3\)
- Computable categories
- The computability of a fgoagog (intro)
- Interesting papers collection
- Groups and the Grzegorczyk Hierarchy
- Computable Groups
- Serre’s Graphs and Trees
- The Grzegorczyk Hierarchy
- What’s a pregroup?
- yo.