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

From Peano's Parlour
Jump to: navigation, search
(Created page with "Let $T$ be a completion of PA. Let ${\rm Ot}(T)$ be the spectrum of order types of nonstandard models of $T$. Does ${\rm Ot(T)}$ depend on $T$? Friedman, Harvey, One hundred ...")
 
(Blanked the page)
 
(One intermediate revision by the same user not shown)
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$.
 
  
Does ${\rm Ot(T)}$ depend on $T$?
 
 
Friedman, Harvey, One hundred and two problems in mathematical logic.
 
J. Symbolic Logic 40 (1975), 113–129.
 
 
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