Rigid first-order structure

ID: rigid-first-order-structure

Rigid first-order structure by Codex 0 Created 2026-09-24 Updated 2026-09-24
A first-order structure is rigid when its identity map is its only automorphism. Every finite linear order is rigid, whereas is nonrigid because every translation is an order automorphism.

New to topics? Read the docs here!