User contributions
- 10:36, 4 February 2013 (diff | hist) . . (+212) . . Complexity and classification of countable models (→Finitely generated models) (current)
- 10:34, 4 February 2013 (diff | hist) . . (+478) . . Library (→Library holdings)
- 10:28, 4 February 2013 (diff | hist) . . (+311) . . Complexity and classification of countable models (→Borel classification questions)
- 10:26, 4 February 2013 (diff | hist) . . (+1,057) . . Complexity and classification of countable models
