User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:43, 23 January 2013 (diff | hist) . . (-808) . . The Scott set problem. (Blanked the page) (current)
- 11:39, 23 January 2013 (diff | hist) . . (+2,446) . . N Nonstandard satisfaction classes (Created page with "== Fullness of $M$ == A satisfaction class for a model $M$ is $e$-full, if $S$ decides all If for every $\Sigma_e$ sentence (in the sense of $M$) $\varphi$ with parameters eith...") (current)
- 11:38, 23 January 2013 (diff | hist) . . (+2,985) . . N Uncountable models with interesting second-order properties (Created page with " == Friedman's 14th problem == Let $T$ be a completion of PA. Let ${\rm Ot}(T)$ be the spectrum of order types of nonstandard models of $T$. In <cite> friedman1975:onehundred ...")
- 11:34, 23 January 2013 (diff | hist) . . (+2,018) . . N Lattices of elementary substructures (Created page with "For $M\models PA$ let ${\rm{Lt}(M)}=(\{K: K\prec M\},\prec)$ and for $M\prec N$, let ${\rm Lt}(N/M)=(\{K: M\prec K\prec M\},\prec)$. In general, the lattice problem is: Which l...")
- 11:32, 23 January 2013 (diff | hist) . . (+1,097) . . N Standard systems and the Scott set problem (Created page with " == The Scott set problem == A Scott set is a set of sets of natural numbers $\mathfrak X$ such that $(\omega, {\mathfrak X})\models {\sf WKL}_0$, Assume $\lnot{\sf CH}$. Is ev...")
- 11:28, 23 January 2013 (diff | hist) . . (+261) . . N Recursively saturated, resplendent models, and saturated models (Created page with "Cuts in recursively saturated models. Automorphisms of countable recursively saturated models. Automorphisms groups of countable recursively saturated models. [[En...")
- 11:27, 23 January 2013 (diff | hist) . . (+1) . . Peano's Parlour
- 08:06, 23 January 2013 (diff | hist) . . (0) . . Nonstandard satisfaction classes. (current)
- 08:03, 23 January 2013 (diff | hist) . . (+932) . . Nonstandard satisfaction classes.
- 08:02, 23 January 2013 (diff | hist) . . (+528) . . Library
- 16:38, 22 January 2013 (diff | hist) . . (-9) . . Resplendent models
- 16:31, 22 January 2013 (diff | hist) . . (0) . . Resplendent models
- 16:31, 22 January 2013 (diff | hist) . . (+639) . . N Resplendent models (Created page with " == Gentle expansions == This problem is not directly about models of PA, but is motivated by results concerning maximal automorphisms, first proved in the context of arithmetica...")
- 16:30, 22 January 2013 (diff | hist) . . (+1,864) . . Library
- 04:44, 22 January 2013 (diff | hist) . . (-18) . . Complexity and classification of countable models
- 07:48, 21 January 2013 (diff | hist) . . (-102) . . Complexity and classification of countable models
- 07:47, 21 January 2013 (diff | hist) . . (+603) . . Library
- 07:45, 21 January 2013 (diff | hist) . . (-266) . . Nonstandard satisfaction classes.
- 07:44, 21 January 2013 (diff | hist) . . (+607) . . Library
- 07:42, 21 January 2013 (diff | hist) . . (-244) . . Rigid models
- 07:40, 21 January 2013 (diff | hist) . . (+1,355) . . Library
- 07:35, 21 January 2013 (diff | hist) . . (-65) . . Jonsson models
- 07:31, 21 January 2013 (diff | hist) . . (+407) . . Library
- 07:26, 21 January 2013 (diff | hist) . . (-60) . . Rather classless models.
- 07:24, 21 January 2013 (diff | hist) . . (+614) . . Library
- 07:18, 21 January 2013 (diff | hist) . . (+908) . . Library
- 07:15, 21 January 2013 (diff | hist) . . (-48) . . Friedman's 14-th problem.
- 07:13, 21 January 2013 (diff | hist) . . (+430) . . Library
- 07:06, 21 January 2013 (diff | hist) . . (+80) . . Lattices of elementary substructures. (current)
- 07:04, 21 January 2013 (diff | hist) . . (+20) . . Lattices of elementary substructures.
- 07:03, 21 January 2013 (diff | hist) . . (-905) . . Lattices of elementary substructures.
- 06:59, 21 January 2013 (diff | hist) . . (+469) . . Library
- 06:50, 21 January 2013 (diff | hist) . . (+3,037) . . Library
- 18:06, 20 January 2013 (diff | hist) . . (+38) . . The Scott set problem.
- 18:05, 20 January 2013 (diff | hist) . . (-444) . . The Scott set problem.
- 18:03, 20 January 2013 (diff | hist) . . (+1,985) . . Library
- 17:52, 20 January 2013 (diff | hist) . . (-72) . . Saturated models (current)
- 17:51, 20 January 2013 (diff | hist) . . (+520) . . Library
- 17:49, 20 January 2013 (diff | hist) . . (-1) . . End extensions, cofinal extensions
- 17:48, 20 January 2013 (diff | hist) . . (-106) . . End extensions, cofinal extensions
- 17:46, 20 January 2013 (diff | hist) . . (+580) . . Library
- 17:44, 20 January 2013 (diff | hist) . . (-591) . . Automorphisms groups of countable recursively saturated models
- 17:42, 20 January 2013 (diff | hist) . . (+1,288) . . Library
- 17:35, 20 January 2013 (diff | hist) . . (+1,147) . . Library
- 17:29, 20 January 2013 (diff | hist) . . (-116) . . Automorphisms of countable recursively saturated models
- 17:26, 20 January 2013 (diff | hist) . . (-249) . . Cuts in recursively saturated models (current)
- 17:22, 20 January 2013 (diff | hist) . . (+654) . . Library
- 17:18, 20 January 2013 (diff | hist) . . (-472) . . Cuts in models of PA and independence results
- 17:17, 20 January 2013 (diff | hist) . . (+2) . . Library
- 17:16, 20 January 2013 (diff | hist) . . (-45) . . Library
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
