Oldest pages
Showing below up to 35 results in range #1 to #35.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- Main Page (15:08, 2 October 2012)
- Omitting theories of undefinable sets (10:08, 18 January 2013)
- Recursively saturated, resplendent models, and saturated models. (11:54, 18 January 2013)
- Cuts in recursively saturated models (18:26, 20 January 2013)
- Saturated models (18:52, 20 January 2013)
- Lattices of elementary substructures. (08:06, 21 January 2013)
- Nonstandard satisfaction classes. (09:06, 23 January 2013)
- Nonstandard satisfaction classes (12:39, 23 January 2013)
- The Scott set problem. (12:43, 23 January 2013)
- Kanovei's question (12:43, 23 January 2013)
- Standard systems and the Scott set problem. (12:43, 23 January 2013)
- Friedman's 14-th problem. (12:45, 23 January 2013)
- Rather classless models. (12:45, 23 January 2013)
- Jonsson models (12:45, 23 January 2013)
- Rigid models (12:46, 23 January 2013)
- Uncountable models with interesting second-order properties. (12:46, 23 January 2013)
- End extensions, cofinal extensions (08:11, 24 January 2013)
- Standard systems and the Scott set problem (08:11, 1 February 2013)
- Complexity and classification of countable models (11:36, 4 February 2013)
- Automorphisms of countable recursively saturated models (13:27, 6 February 2013)
- Peano's Parlour (15:31, 6 February 2013)
- Automoprhism groups (15:34, 6 February 2013)
- Automorphism groups in general (08:54, 7 February 2013)
- Resplendent models (12:22, 16 February 2013)
- Cuts in models of PA and independence results (12:26, 16 February 2013)
- Automorphisms groups of countable recursively saturated models (12:39, 16 February 2013)
- Uncountable models with interesting second-order properties (12:39, 18 February 2013)
- Lattices of elementary substructures (20:51, 29 March 2013)
- Errata (04:05, 7 April 2013)
- Model theory of weak fragments of arithmetic (06:44, 20 June 2013)
- Integer parts of real closed fields (07:03, 20 June 2013)
- Library (11:24, 28 May 2014)
- Recursively saturated, resplendent models, and saturated models (22:12, 20 November 2014)
- Bibtex (08:43, 2 December 2014)
- Short recursively saturated models and boundedly saturated models (16:44, 15 December 2014)