Finite presentation of homogeneous graphs, posets and ramsey Classes

Abstract

Defines the notion of finite presentation and proves that most basic homogeneous structures are finitely presented. Particularly, this is proved for generic poset by a complex (surreal numbers type) construction.