The Scott set problem.

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

Jump to: navigation, search

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?