Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:characterizedBy |
age is a given Fraïssé class
|
gptkbp:describes |
unique countable ultrahomogeneous structure
|
gptkbp:field |
model theory
|
https://www.w3.org/2000/01/rdf-schema#label |
Fraïssé limit
|
gptkbp:introducedIn |
1954
|
gptkbp:namedAfter |
gptkb:Roland_Fraïssé
|
gptkbp:property |
universality
ultrahomogeneity |
gptkbp:relatedTo |
gptkb:Fraïssé_class
|
gptkbp:usedIn |
gptkb:logic
model theory |
gptkbp:bfsParent |
gptkb:Roland_Fraïssé
|
gptkbp:bfsLayer |
6
|