Monthly Archives: June 2013

Bourbaki, Witt, and a theorem of Dito Pataraia’s

Dito Pataraia once came up with an elegant proof of (essentially) the Bourbaki-Witt theorem.  The proof is very short, and deserves a look.  Furthermore, it uses domain theory in an essential way: the core is showing that the set of … Continue reading

Posted in Uncategorized | 6 Comments