Sciweavers

APAL
2008
63views more  APAL 2008»
13 years 11 months ago
A standard model of Peano arithmetic with no conservative elementary extension
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
Ali Enayat