Difference between revisions of "Rigid models"

From Peano's Parlour
Jump to: navigation, search
(Blanked the page)
 
Line 1: Line 1:
There are $\aleph_1$-like rigid models of $PA$. Two different constructions are given in <cite> kossakschmerl1991:minimal </cite> and  <cite> koskot1992:game </cite>
 
  
Problem: Are there rigid recursively saturated  $M\models PA$ such that ${\rm cf}(M)=\aleph_0$?
 
 
{{References}}
 

Latest revision as of 11:46, 23 January 2013