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 11:45, 23 January 2013

Retrieved from "http://modelsofpa.info/index.php?title=Friedman%27s_14-th_problem.&oldid=194"