View source for Automorphism groups in general

← Automorphism groups in general

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:

== Rigid models ==

A model $M$ is '''rigid''' if ${\rm Aut}(M)$ is trivial -- that is, its only automorphism 
is the identity function. Every model of PA has a rigid elementary end extension. 
(See <cite> schmerl2002:automorphism </cite> for a proof of this and much more.)

Question: Does every nonstandard model of PA have a rigid cofinal extension?

Return to Automorphism groups in general.

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

Navigation menu