Monday 3 February 2014

New draft: Abstract elementary classes and undecidable automorphism groups.