The Scott set problem.
From Peano's Parlour
Revision as of 11:16, 17 January 2013 by Rkossak (Talk | contribs) (Created page with "A Scott set is a set of sets of natural numbers X such that (ω,X)⊨WKL0, Assume ¬CH. Is every Scott set the standard system of...")
A Scott set is a set of sets of natural numbers X such that (ω,X)⊨WKL0, Assume ¬CH. Is every Scott set the standard system of a nonstandard model of \PA?