age (model theory)

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:definedIn set of isomorphism types of finitely generated substructures of a structure
gptkbp:describes class of finitely generated structures
gptkbp:field gptkb:logic
model theory
gptkbp:hasProperty hereditary property
joint embedding property
https://www.w3.org/2000/01/rdf-schema#label age (model theory)
gptkbp:introduced gptkb:Roland_Fraïssé
gptkbp:relatedTo gptkb:Fraïssé's_theorem
gptkbp:used_in classification of countable structures
gptkbp:bfsParent gptkb:Fraïssé's_theorem
gptkbp:bfsLayer 7