Sciweavers

JSYML
2008
51views more  JSYML 2008»
13 years 11 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