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