The Scott set problem.
From Peano's Parlour
Revision as of 10:16, 17 January 2013 by Rkossak (Talk | contribs) (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...")
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 a nonstandard model of \PA?
