Switch to: References

Citations of:

Théories d'arbres

Journal of Symbolic Logic 47 (4):841-853 (1982)

Add citations

You must login to add citations.
  1. A model-theoretic characterisation of clique width.Achim Blumensath - 2006 - Annals of Pure and Applied Logic 142 (1):321-350.
    We generalise the concept of clique width to structures of arbitrary signature and cardinality. We present characterisations of clique width in terms of decompositions of a structure and via interpretations in trees. Several model-theoretic properties of clique width are investigated including VC-dimension and preservation of finite clique width under elementary extensions and compactness.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • VC-density for trees.Anton Bobkov - 2019 - Archive for Mathematical Logic 58 (5-6):587-603.
    We show that in the theory of infinite trees the VC-function is optimal. This generalizes a result of Simon showing that trees are dp-minimal.
    Download  
     
    Export citation  
     
    Bookmark