Solovay's theorem cannot be simplified
Under an Elsevier user license
open archive
MSC
03H15
03C62
03C57
Keywords
Nonstandard models of arithmetic
Completions of Peano arithmetic
Scott sets
Independence results
Cited by (0)
Copyright © 2001 Elsevier Science B.V. All rights reserved.