PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
homogeneous (Definition)

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

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




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

View style:

See Also: example of a universal structure, random graph (infinite)

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

Cross-references: substructures, finite, isomorphism, first order language
There are 21 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 4081 times total.

Classification:
AMS MSC03C50 (Mathematical logic and foundations :: Model theory :: Models with special properties )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)