User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 20:18, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 20:17, 28 January 2013 (diff | hist) . . (+432) . . Automorphisms of countable recursively saturated models
- 20:11, 28 January 2013 (diff | hist) . . (+233) . . Library
- 20:10, 28 January 2013 (diff | hist) . . (+3) . . Automorphisms of countable recursively saturated models
- 20:00, 28 January 2013 (diff | hist) . . (+1) . . Automorphisms groups of countable recursively saturated models
- 19:59, 28 January 2013 (diff | hist) . . (+37) . . Automorphisms groups of countable recursively saturated models
- 19:58, 28 January 2013 (diff | hist) . . (+2) . . Library
- 19:54, 28 January 2013 (diff | hist) . . (+1,060) . . Automorphisms groups of countable recursively saturated models
- 19:35, 28 January 2013 (diff | hist) . . (+468) . . Library
- 11:13, 24 January 2013 (diff | hist) . . (+587) . . Library
- 11:04, 24 January 2013 (diff | hist) . . (-1) . . Resplendent models
- 11:04, 24 January 2013 (diff | hist) . . (+973) . . Resplendent models
- 10:29, 24 January 2013 (diff | hist) . . (+537) . . Library
- 10:25, 24 January 2013 (diff | hist) . . (+418) . . Resplendent models
- 10:18, 24 January 2013 (diff | hist) . . (+322) . . Library
- 10:09, 24 January 2013 (diff | hist) . . (+225) . . Cuts in models of PA and independence results
- 10:05, 24 January 2013 (diff | hist) . . (+575) . . Library
- 08:11, 24 January 2013 (diff | hist) . . (+2) . . End extensions, cofinal extensions (current)
- 08:10, 24 January 2013 (diff | hist) . . (+1,112) . . End extensions, cofinal extensions
- 07:52, 24 January 2013 (diff | hist) . . (+68) . . End extensions, cofinal extensions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)