User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 07:03, 20 June 2013 (diff | hist) . . (+19) . . Integer parts of real closed fields (current)
- 07:00, 20 June 2013 (diff | hist) . . (0) . . Integer parts of real closed fields
- 06:58, 20 June 2013 (diff | hist) . . (+348) . . Integer parts of real closed fields
- 06:53, 20 June 2013 (diff | hist) . . (+45) . . Integer parts of real closed fields
- 06:52, 20 June 2013 (diff | hist) . . (+607) . . Library
- 06: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")
- 06: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)
- 04:05, 7 April 2013 (diff | hist) . . (+92) . . Errata (current)
- 12:39, 18 February 2013 (diff | hist) . . (-97) . . m Uncountable models with interesting second-order properties (→Rigid models) (current)
- 15: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)
- 15:31, 6 February 2013 (diff | hist) . . (+26) . . Peano's Parlour (current)
- 12:10, 6 February 2013 (diff | hist) . . (-1) . . m Lattices of elementary substructures
- 15:33, 1 February 2013 (diff | hist) . . (+18) . . Cuts in models of PA and independence results
- 15:32, 1 February 2013 (diff | hist) . . (+647) . . Cuts in models of PA and independence results
- 15:29, 1 February 2013 (diff | hist) . . (+512) . . Library
- 15:20, 1 February 2013 (diff | hist) . . (+1,031) . . Library
- 08:11, 1 February 2013 (diff | hist) . . (+38) . . Standard systems and the Scott set problem (current)
- 08:10, 1 February 2013 (diff | hist) . . (+537) . . Library
- 20:19, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 20:19, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)