View source for Rigid models

← Rigid models

Jump to: navigation, search

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in the group: Users.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

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}}

Return to Rigid models.

Retrieved from "http://modelsofpa.info/Rigid_models"

Navigation menu