OurBigBook.comSite Source code

Rigid first-order structure

A first-order structure is rigid when its identity map is its only automorphism. Every finite linear order is rigid, whereas

(Z, <)

is nonrigid because every translation is an order automorphism.

Table of contents 90 1
- Compactness transfer of finite nonrigidity Rigid first-order structure 59

 Ancestors (8)

 Incoming links (1)

Solution