The Scott set problem.

From Peano's Parlour
Revision as of 10:17, 17 January 2013 by Rkossak (Talk | contribs)

Jump to: navigation, search

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 every Scott set the standard system of a nonstandard model of PA?