PlanetMath: homogeneous

(more info)

Math for the people, by the people.

Main Menu

homogeneous

(Definition)

Let be a first order language. Let be an -structure. Then we say is homogeneous if the following holds:

if $\sigma$ is an isomorphism between finite substructures of , then $\sigma$ extends to an automorphism of .

"homogeneous" is owned by mathcam. [ full author list (2) | owner history (1) ]

(view preamble | get metadata)

Log in to rate this entry.
(view current ratings)

Cross-references: substructures, finite, isomorphism, first order language
There are 3 references to this entry.

This is version 2 of homogeneous, born on 2003-01-24, modified 2005-05-17.
Object id is 3923, canonical name is Homogeneous4.
Accessed 3668 times total.

Classification:

03C50 (Mathematical logic and foundations :: Model theory :: Models with special properties )

Pending Errata and Addenda

None.[ View all 1 ]

Discussion

forum policy

No messages.

Interact