1.  46
    On Lascar rank and Morley rank of definable groups in differentially closed fields.Anand Pillay & Wai Yan Pong - 2002 - Journal of Symbolic Logic 67 (3):1189-1196.
    Morley rank and Lascar rank are equal on generic types of definable groups in differentially closed fields with finitely many commuting derivations.
    Direct download (8 more)  
    Export citation  
    Bookmark   4 citations  
  2.  39
    Some applications of ordinal dimensions to the theory of differentially closed fields.Wai Yan Pong - 2000 - Journal of Symbolic Logic 65 (1):347-356.
    Using the Lascar inequalities, we show that any finite rank δ-closed subset of a quasiprojective variety is definably isomorphic to an affine δ-closed set. Moreover, we show that if X is a finite rank subset of the projective space P n and a is a generic point of P n , then the projection from a is injective on X. Finally we prove that if RM = RC in DCF 0 , then RM = RU.
    Direct download (8 more)  
    Export citation  
    Bookmark   3 citations  
  3.  22
    Quantifier-eliminable locally finite graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
    We identify the locally finite graphs that are quantifier-eliminable and their first order theories in the signature of distance predicates. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download  
    Export citation  
  4.  22
    Corrigendum to: "On Lascar Rank and Morley Rank of Definable Groups in Differentially Closed Fields".Anand Pillay & Wai Yan Pong - 2009 - Journal of Symbolic Logic 74 (4):1436 - 1437.