User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 06:03, 20 June 2013 (diff | hist) . . (+19) . . Integer parts of real closed fields (current)
- 06:00, 20 June 2013 (diff | hist) . . (0) . . Integer parts of real closed fields
- 05:58, 20 June 2013 (diff | hist) . . (+348) . . Integer parts of real closed fields
- 05:53, 20 June 2013 (diff | hist) . . (+45) . . Integer parts of real closed fields
- 05:52, 20 June 2013 (diff | hist) . . (+607) . . Library
- 05:47, 20 June 2013 (diff | hist) . . (+67) . . N Integer parts of real closed fields (Created page with " == Tennenbaum property == Je\v{z}\'abek and Ko{\l}odziejczyk show")
- 05:44, 20 June 2013 (diff | hist) . . (+40) . . N Model theory of weak fragments of arithmetic (Created page with "Integer parts of real closed fields.") (current)
- 03:05, 7 April 2013 (diff | hist) . . (+92) . . Errata (current)
- 11:39, 18 February 2013 (diff | hist) . . (-97) . . m Uncountable models with interesting second-order properties (→Rigid models) (current)
- 14:34, 6 February 2013 (diff | hist) . . (+104) . . N Automoprhism groups (Created page with "Automorphism groups in general. Automorphisms groups of countable recursively saturated models.") (current)
- 14:31, 6 February 2013 (diff | hist) . . (+26) . . Peano's Parlour (current)
- 11:10, 6 February 2013 (diff | hist) . . (-1) . . m Lattices of elementary substructures
- 14:33, 1 February 2013 (diff | hist) . . (+18) . . Cuts in models of PA and independence results
- 14:32, 1 February 2013 (diff | hist) . . (+647) . . Cuts in models of PA and independence results
- 14:29, 1 February 2013 (diff | hist) . . (+512) . . Library
- 14:20, 1 February 2013 (diff | hist) . . (+1,031) . . Library
- 07:11, 1 February 2013 (diff | hist) . . (+38) . . Standard systems and the Scott set problem (current)
- 07:10, 1 February 2013 (diff | hist) . . (+537) . . Library
- 19:19, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 19:19, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 19:18, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 19:17, 28 January 2013 (diff | hist) . . (+432) . . Automorphisms of countable recursively saturated models
- 19:11, 28 January 2013 (diff | hist) . . (+233) . . Library
- 19:10, 28 January 2013 (diff | hist) . . (+3) . . Automorphisms of countable recursively saturated models
- 19:00, 28 January 2013 (diff | hist) . . (+1) . . Automorphisms groups of countable recursively saturated models
- 18:59, 28 January 2013 (diff | hist) . . (+37) . . Automorphisms groups of countable recursively saturated models
- 18:58, 28 January 2013 (diff | hist) . . (+2) . . Library
- 18:54, 28 January 2013 (diff | hist) . . (+1,060) . . Automorphisms groups of countable recursively saturated models
- 18:35, 28 January 2013 (diff | hist) . . (+468) . . Library
- 10:13, 24 January 2013 (diff | hist) . . (+587) . . Library
- 10:04, 24 January 2013 (diff | hist) . . (-1) . . Resplendent models
- 10:04, 24 January 2013 (diff | hist) . . (+973) . . Resplendent models
- 09:29, 24 January 2013 (diff | hist) . . (+537) . . Library
- 09:25, 24 January 2013 (diff | hist) . . (+418) . . Resplendent models
- 09:18, 24 January 2013 (diff | hist) . . (+322) . . Library
- 09:09, 24 January 2013 (diff | hist) . . (+225) . . Cuts in models of PA and independence results
- 09:05, 24 January 2013 (diff | hist) . . (+575) . . Library
- 07:11, 24 January 2013 (diff | hist) . . (+2) . . End extensions, cofinal extensions (current)
- 07:10, 24 January 2013 (diff | hist) . . (+1,112) . . End extensions, cofinal extensions
- 06:52, 24 January 2013 (diff | hist) . . (+68) . . End extensions, cofinal extensions
- 06:43, 24 January 2013 (diff | hist) . . (+2) . . End extensions, cofinal extensions
- 06:41, 24 January 2013 (diff | hist) . . (+827) . . End extensions, cofinal extensions
- 11:49, 23 January 2013 (diff | hist) . . (+1) . . Peano's Parlour
- 11:46, 23 January 2013 (diff | hist) . . (-100) . . Uncountable models with interesting second-order properties. (Blanked the page) (current)
- 11:46, 23 January 2013 (diff | hist) . . (-279) . . Rigid models (Blanked the page) (current)
- 11:45, 23 January 2013 (diff | hist) . . (-1,169) . . Jonsson models (Blanked the page) (current)
- 11:45, 23 January 2013 (diff | hist) . . (-1,084) . . Rather classless models. (Blanked the page) (current)
- 11:45, 23 January 2013 (diff | hist) . . (-372) . . Friedman's 14-th problem. (Blanked the page) (current)
- 11:43, 23 January 2013 (diff | hist) . . (-51) . . Standard systems and the Scott set problem. (Blanked the page) (current)
- 11:43, 23 January 2013 (diff | hist) . . (-231) . . Kanovei's question (Blanked the page) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
