User contributions
- 20:51, 29 March 2013 (diff | hist) . . (+43) . . m Lattices of elementary substructures (→Diversity and Nondiversity) (current)
- 12:39, 16 February 2013 (diff | hist) . . (0) . . Automorphisms groups of countable recursively saturated models (→Normal subgroups) (current)
- 12:26, 16 February 2013 (diff | hist) . . (-2) . . Cuts in models of PA and independence results (→Diversity in elementary cuts) (current)
- 12:22, 16 February 2013 (diff | hist) . . (+1) . . Resplendent models (→Chronically resplendent models) (current)
- 12:21, 16 February 2013 (diff | hist) . . (-1) . . Resplendent models (→Chronically resplendent models)
- 20:04, 11 February 2013 (diff | hist) . . (+3) . . Library (→Library holdings)
- 20:01, 11 February 2013 (diff | hist) . . (+51) . . Uncountable models with interesting second-order properties (→Lofty models)
- 19:58, 11 February 2013 (diff | hist) . . (+654) . . Library (→Library holdings)
- 19:52, 11 February 2013 (diff | hist) . . (+949) . . Uncountable models with interesting second-order properties
- 22:47, 8 February 2013 (diff | hist) . . (-1) . . m Uncountable models with interesting second-order properties (→Jonsson models)
- 22:42, 8 February 2013 (diff | hist) . . (-1) . . m Uncountable models with interesting second-order properties (→Rather classless models)
- 22:41, 8 February 2013 (diff | hist) . . (-1) . . m Uncountable models with interesting second-order properties (→Friedman's 14th problem)
- 08:54, 7 February 2013 (diff | hist) . . (-1) . . Automorphism groups in general (current)
- 08:53, 7 February 2013 (diff | hist) . . (+353) . . N Automorphism groups in general (Created page with "== Rigid models == A model $M$ is '''rigid''' if ${\rm Aut}(M)$ is trivial -- that is, its only automorphism is the identity function. Every model of PA has a rigid elementary ...")
- 14:04, 6 February 2013 (diff | hist) . . (-26) . . Library (→Library holdings)
- 13:57, 6 February 2013 (diff | hist) . . (-37) . . Library (→Library holdings)
- 13:50, 6 February 2013 (diff | hist) . . (0) . . Automorphisms groups of countable recursively saturated models (→Th(Aut(M)))
- 13:48, 6 February 2013 (diff | hist) . . (+274) . . Automorphisms groups of countable recursively saturated models
- 13:38, 6 February 2013 (diff | hist) . . (+579) . . Library (→Library holdings)
- 13:33, 6 February 2013 (diff | hist) . . (+558) . . Library (→Library holdings)
- 13:27, 6 February 2013 (diff | hist) . . (+1) . . m Automorphisms of countable recursively saturated models (→Bumps) (current)
- 11:28, 6 February 2013 (diff | hist) . . (+42) . . m Lattices of elementary substructures (→Diversity and Nondiversity)
- 11:25, 6 February 2013 (diff | hist) . . (+556) . . Library (→Library holdings)
- 11:18, 6 February 2013 (diff | hist) . . (+2) . . Lattices of elementary substructures (→Diversity and Nondiversity)
- 11:15, 6 February 2013 (diff | hist) . . (0) . . Lattices of elementary substructures (→Diversity and Nondiversity)
- 11:13, 6 February 2013 (diff | hist) . . (+557) . . Lattices of elementary substructures
- 10:54, 6 February 2013 (diff | hist) . . (+575) . . Library (→Library holdings)
- 10:34, 6 February 2013 (diff | hist) . . (-8) . . m Library (→Library holdings)
- 10:30, 6 February 2013 (diff | hist) . . (-2) . . m Library (→Library holdings)
- 10:08, 6 February 2013 (diff | hist) . . (+3) . . Lattices of elementary substructures (→First-order theory of ${\rm Lt}(N/M)$.)