6 found
Order:
  1.  6
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  6
    Simple Monadic Theories and Indiscernibles.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (1):65-86.
    Aiming for applications in monadic second-order model theory, we study first-order theories without definable pairing functions. Our main results concern forking-properties of sequences of indiscernibles. These turn out to be very well-behaved for the theories under consideration.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  2
    Bruno Courcelle and Joost Engelfriet. Graph Structure and Monadic Second-Order Logic. Encyclopedia of Mathematics and Its Applications, Vol. 138. Cambridge University Press, 2012, Xiv + 728 Pp. [REVIEW]Achim Blumensath - 2013 - Bulletin of Symbolic Logic 19 (3):394-396.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  21
    Simple Monadic Theories and Partition Width.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (4):409-431.
    We study tree-like decompositions of models of a theory and a related complexity measure called partition width. We prove a dichotomy concerning partition width and definable pairing functions: either the partition width of models is bounded, or the theory admits definable pairing functions. Our proof rests on structure results concerning indiscernible sequences and finitely satisfiable types for theories without definable pairing functions. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Reviewed Work(S): Graph Structure and Monadic Second-Order Logic. Encyclopedia of Mathematics and Its Applications, Vol. 138 by Bruno Courcelle; Joost Engelfriet.Achim Blumensath - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Achim Blumensath The Bulletin of Symbolic Logic, Volume 19, Issue 3, Page 394-396, September 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  1
    Locality and Modular Ehrenfeucht–Fraïssé Games.Achim Blumensath - 2012 - Journal of Applied Logic 10 (1):144-162.