11 found
Order:
Disambiguations
Volker Weispfenning [11]V. Weispfenning [1]V. B. Weispfenning [1]
  1.  15
    Existential equivalence of ordered abelian groups with parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.
    In [GK], Gurevich and Kokorin proved that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let nowG, H be non-trivialo-groups with a commono-subgroupG 0. We determine whetherG andH are existentially equivalent overG 0. As a corollary, we obtain algebraic criteria for deciding, whether ano-subgroupG is existentially closed in ano-groupH. Corresponding results are proved foro-groups in which congruences are regarded as atomic relations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  14
    Model Theory and Algebra.Jon Barwise, John Schlipf, D. H. Saracino & V. B. Weispfenning - 1987 - Journal of Symbolic Logic 52 (1):279-284.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  17
    Negative-existentially complete structures and definability in free extensions.Volker Weispfenning - 1976 - Journal of Symbolic Logic 41 (1):95-108.
  4.  6
    Infinitary Model‐Theoretic Properties Of χ‐Saturated Structures.Volker Weispfenning - 1973 - Mathematical Logic Quarterly 19 (7):97-109.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  21
    Infinitary Model-Theoretic Properties Of χ-Saturated Structures.Volker Weispfenning - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (7):97-109.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  5
    Nullstellensätze — A Model Theoretic Framework.Volker Weispfenning - 1976 - Mathematical Logic Quarterly 23 (36):539-545.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  26
    Nullstellensätze — A Model Theoretic Framework.Volker Weispfenning - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):539-545.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Quantifier elimination for modules.Volker Weispfenning - 1985 - Archive for Mathematical Logic 25 (1):1-11.
     
    Export citation  
     
    Bookmark  
  9.  18
    Quantifier Elimination for Distributive Lattices and Measure Algebras.Volker Weispfenning - 1985 - Mathematical Logic Quarterly 31 (14‐18):249-261.
  10.  23
    Quantifier Elimination for Distributive Lattices and Measure Algebras.Volker Weispfenning - 1985 - Mathematical Logic Quarterly 31 (14-18):249-261.
  11.  29
    The model-theoretic significance of complemented existential formulas.Volker Weispfenning - 1981 - Journal of Symbolic Logic 46 (4):843-850.