Fraïssé class

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:characterizedBy amalgamation property
hereditary property
joint embedding property
gptkbp:defines A class of finite structures in a fixed signature, closed under isomorphism, with hereditary, joint embedding, and amalgamation properties.
gptkbp:field model theory
https://www.w3.org/2000/01/rdf-schema#label Fraïssé class
gptkbp:namedAfter gptkb:Roland_Fraïssé
gptkbp:relatedTo gptkb:Fraïssé_limit
gptkbp:usedIn homogeneous structures
structural Ramsey theory
gptkbp:bfsParent gptkb:Fraïssé_limit
gptkbp:bfsLayer 7