Fraïssé's theorem

In mathematics, Fraïssé's theorem, named after Roland Fraïssé, states that a class K of finite relational structures is the age of a countable homogeneous relational structure if and only if it satisfies the following four conditions:

K is closed under isomorphism;
K is closed under taking induced substructures;
K has only countably many members up to isomorphism;
K has the amalgamation property.

If these conditions hold, then the countable homogeneous structure whose age is K is unique up to isomorphism.^[1]

Fraïssé proved the theorem in the 1950s.

References

↑ Meenaxi Bhattacharjee; Dugald Macpherson; Rögnvaldur G. Möller; Peter M. Neumann. Notes on Infinite Permutation Groups. Lecture Notes in Mathematics. 1689. 1998: Springer. pp. 155–158. ISBN 978-3-540-64965-6.

This article is issued from Wikipedia - version of the 5/31/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.