Sciweavers

JSYML
2008
51views more  JSYML 2008»
13 years 4 months ago
Scott's problem for Proper Scott sets
Some 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and
Victoria Gitman