User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:16, 17 January 2013 (diff | hist) . . (+206) . . N The Scott set problem. (Created page with "A Scott set is a set of sets of natural numbers $\mathfrak X$ such that $(\omega, {\mathfrak X})\models WKL_0$, Assume $\lnot{\sf CH}$. Is every Scott set the standard system of...")
- 11:12, 17 January 2013 (diff | hist) . . (+29) . . N Standard systems and the Scott set problem. (Created page with "1. The Scott set problem.")
- 11:10, 17 January 2013 (diff | hist) . . (+420) . . N Friedman's 14-th problem. (Created page with "Let $T$ be a completion of PA. Let ${\rm Ot}(T)$ be the spectrum of order types of nonstandard models of $T$. Does ${\rm Ot(T)}$ depend on $T$? Friedman, Harvey, One hundred ...")
- 11:03, 17 January 2013 (diff | hist) . . (+32) . . N Uncountable models with interesting second-order properties. (Created page with "1. Friedman's 14-th problem.")
- 11:02, 17 January 2013 (diff | hist) . . (0) . . Peano's Parlour
- 11:01, 17 January 2013 (diff | hist) . . (+32) . . Peano's Parlour
- 10:58, 17 January 2013 (diff | hist) . . (-33) . . Recursively saturated, resplendent models, and saturated models.
- 10:57, 17 January 2013 (diff | hist) . . (+37) . . Recursively saturated, resplendent models, and saturated models.
- 10:56, 17 January 2013 (diff | hist) . . (+621) . . N Omitting theories of undefinable sets (Created page with "Suppose $M$ is countable recursively saturated and $X$ is an undefinable subset of $M$. Is there a countable recursively saturated $N$ such that $N$ is an elementary end exten...")
- 10:55, 17 January 2013 (diff | hist) . . (-624) . . Recursively saturated, resplendent models, and saturated models. (Replaced content with "== Omitting theories of undefinable sets ==")
- 14:17, 16 January 2013 (diff | hist) . . (0) . . Recursively saturated, resplendent models, and saturated models.
- 14:17, 16 January 2013 (diff | hist) . . (+667) . . N Recursively saturated, resplendent models, and saturated models. (Created page with " == Omitting theories of undefinable sets == Suppose $M$ is countable recursively saturated and $X$ is an undefinable subset of $M$. Is there a countable recursively saturate...")
- 14:13, 16 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 14:12, 16 January 2013 (diff | hist) . . (-403) . . User talk:Rkossak (Blanked the page) (current)
- 14:08, 16 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 14:07, 16 January 2013 (diff | hist) . . (+16) . . N Cuts in models of PA and independence results (Created page with "Nothing here yet")
- 08:17, 8 January 2013 (diff | hist) . . (+47) . . User talk:Rkossak
- 08:14, 8 January 2013 (diff | hist) . . (0) . . User talk:Rkossak
- 08:13, 8 January 2013 (diff | hist) . . (+12) . . User talk:Rkossak
- 08:11, 8 January 2013 (diff | hist) . . (+344) . . N User talk:Rkossak (Created page with "Suppose $M$ is countable recursively saturated and $X$ is an undefinable subset of $M$. Is there a countable recursively saturated $N$ such that $N$ is an elementary end exten...")
- 08:05, 8 January 2013 (diff | hist) . . (-4) . . Peano's Parlour
- 08:01, 8 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 15:24, 6 January 2013 (diff | hist) . . (-1) . . Peano's Parlour
- 10:39, 4 October 2012 (diff | hist) . . (-1) . . Peano's Parlour
- 10:38, 4 October 2012 (diff | hist) . . (+777) . . Peano's Parlour
- 10:29, 4 October 2012 (diff | hist) . . (+14) . . Peano's Parlour
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
