User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:43, 23 January 2013 (diff | hist) . . (-808) . . The Scott set problem. (Blanked the page) (current)
- 12: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)
- 12: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 ...")
- 12: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...")
- 12: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...")
- 12: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...")
- 12:27, 23 January 2013 (diff | hist) . . (+1) . . Peano's Parlour
- 09:06, 23 January 2013 (diff | hist) . . (0) . . Nonstandard satisfaction classes. (current)
- 09:03, 23 January 2013 (diff | hist) . . (+932) . . Nonstandard satisfaction classes.
- 09:02, 23 January 2013 (diff | hist) . . (+528) . . Library
- 17:38, 22 January 2013 (diff | hist) . . (-9) . . Resplendent models
- 17:31, 22 January 2013 (diff | hist) . . (0) . . Resplendent models
- 17: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...")
- 17:30, 22 January 2013 (diff | hist) . . (+1,864) . . Library
- 05:44, 22 January 2013 (diff | hist) . . (-18) . . Complexity and classification of countable models
- 08:48, 21 January 2013 (diff | hist) . . (-102) . . Complexity and classification of countable models
- 08:47, 21 January 2013 (diff | hist) . . (+603) . . Library
- 08:45, 21 January 2013 (diff | hist) . . (-266) . . Nonstandard satisfaction classes.
- 08:44, 21 January 2013 (diff | hist) . . (+607) . . Library
- 08:42, 21 January 2013 (diff | hist) . . (-244) . . Rigid models
- 08:40, 21 January 2013 (diff | hist) . . (+1,355) . . Library
- 08:35, 21 January 2013 (diff | hist) . . (-65) . . Jonsson models
- 08:31, 21 January 2013 (diff | hist) . . (+407) . . Library
- 08:26, 21 January 2013 (diff | hist) . . (-60) . . Rather classless models.
- 08:24, 21 January 2013 (diff | hist) . . (+614) . . Library
- 08:18, 21 January 2013 (diff | hist) . . (+908) . . Library
- 08:15, 21 January 2013 (diff | hist) . . (-48) . . Friedman's 14-th problem.
- 08:13, 21 January 2013 (diff | hist) . . (+430) . . Library
- 08:06, 21 January 2013 (diff | hist) . . (+80) . . Lattices of elementary substructures. (current)
- 08:04, 21 January 2013 (diff | hist) . . (+20) . . Lattices of elementary substructures.
- 08:03, 21 January 2013 (diff | hist) . . (-905) . . Lattices of elementary substructures.
- 07:59, 21 January 2013 (diff | hist) . . (+469) . . Library
- 07:50, 21 January 2013 (diff | hist) . . (+3,037) . . Library
- 19:06, 20 January 2013 (diff | hist) . . (+38) . . The Scott set problem.
- 19:05, 20 January 2013 (diff | hist) . . (-444) . . The Scott set problem.
- 19:03, 20 January 2013 (diff | hist) . . (+1,985) . . Library
- 18:52, 20 January 2013 (diff | hist) . . (-72) . . Saturated models (current)
- 18:51, 20 January 2013 (diff | hist) . . (+520) . . Library
- 18:49, 20 January 2013 (diff | hist) . . (-1) . . End extensions, cofinal extensions
- 18:48, 20 January 2013 (diff | hist) . . (-106) . . End extensions, cofinal extensions
- 18:46, 20 January 2013 (diff | hist) . . (+580) . . Library
- 18:44, 20 January 2013 (diff | hist) . . (-591) . . Automorphisms groups of countable recursively saturated models
- 18:42, 20 January 2013 (diff | hist) . . (+1,288) . . Library
- 18:35, 20 January 2013 (diff | hist) . . (+1,147) . . Library
- 18:29, 20 January 2013 (diff | hist) . . (-116) . . Automorphisms of countable recursively saturated models
- 18:26, 20 January 2013 (diff | hist) . . (-249) . . Cuts in recursively saturated models (current)
- 18:22, 20 January 2013 (diff | hist) . . (+654) . . Library
- 18:18, 20 January 2013 (diff | hist) . . (-472) . . Cuts in models of PA and independence results
- 18:17, 20 January 2013 (diff | hist) . . (+2) . . Library
- 18:16, 20 January 2013 (diff | hist) . . (-45) . . Library
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)