Difference between revisions of "Friedman's 14-th problem."

From Peano's Parlour
Jump to: navigation, search
(Blanked the page)
 
Line 1: Line 1:
Let $T$ be a completion of PA. Let ${\rm Ot}(T)$  be the spectrum of order types of nonstandard models of $T$.
 
In <cite> friedman1975:onehundred </cite> Harvey Friedman asked: Does ${\rm Ot(T)}$ depend on $T$?
 
  
Shelah has recently announced that the answer in negative, but there is no paper available yet. See Sh[924] for an interesting effort in the opposite direction.
 

Latest revision as of 12:45, 23 January 2013