20 found
Order:
Disambiguations
Andreas Baudisch [24]A. Baudisch [1]
  1.  18
    Decidability and stability of free nilpotent lie algebras and free nilpotent p-groups of finite exponent.Andreas Baudisch - 1982 - Annals of Mathematical Logic 23 (1):1-25.
  2.  42
    A free pseudospace.Andreas Baudisch & Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):443-460.
    In this paper we construct a non-CM-trivial stable theory in which no infinite field is interpretable. In fact our theory will also be trivial and ω-stable, but of infinite Morley rank. A long term aim would be to find a nonCM-trivial theory which has finite Morley rank (or is even strongly minimal) and does not interpret a field. The construction in this paper is direct, and is a “3-dimensional” version of the free pseudoplane. In a sense we are cheating: the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  30
    Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
  4.  27
    Fusion over a vector space.Andreas Baudisch, Amador Martin-Pizarro & Martin Ziegler - 2006 - Journal of Mathematical Logic 6 (2):141-162.
    Let T1 and T2 be two countable strongly minimal theories with the DMP whose common theory is the theory of vector spaces over a fixed finite field. We show that T1 ∪ T2 has a strongly minimal completion.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  12
    Mekler's construction preserves CM-triviality.Andreas Baudisch - 2002 - Annals of Pure and Applied Logic 115 (1-3):115-173.
    For every structure M of finite signature Mekler 781) has constructed a group G such that for every κ the maximal number of n -types over an elementary equivalent model of cardinality κ is the same for M and G . These groups are nilpotent of class 2 and of exponent p , where p is a fixed prime greater than 2. We consider stable structures M only and show that M is CM -trivial if and only if G is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  25
    Red Fields.A. Baudisch, A. Martin-Pizarro & M. Ziegler - 2007 - Journal of Symbolic Logic 72 (1):207 - 225.
    We apply Hrushovski-Fraïssé's amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a definable additive subgroup of rank 1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Magidor-Malitz quantifiers in modules.Andreas Baudisch - 1984 - Journal of Symbolic Logic 49 (1):1-8.
    We prove the elimination of Magidor-Malitz quantifiers for R-modules relative to certain Q 2 α -core sentences and positive primitive formulas. For complete extensions of the elementary theory of R-modules it follows that all Ramsey quantifiers (ℵ 0 -interpretation) are eliminable. By a result of Baldwin and Kueker [1] this implies that there is no R-module having the finite cover property.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Closures in ℵ0-categorical bilinear maps.Andreas Baudisch - 2000 - Journal of Symbolic Logic 65 (2):914 - 922.
    It is possible to define a combinatorial closure on alternating bilinear maps with few relations similar to that in [2]. For the ℵ 0 - categorical case we show that this closure is part of the algebraic closure.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    Classification and interpretation.Andreas Baudisch - 1989 - Journal of Symbolic Logic 54 (1):138-159.
    Let S and T be countable complete theories. We assume that T is superstable without the dimensional order property, and S is interpretable in T in such a way that every model of S is coded in a model of T. We show that S does not have the dimensional order property, and we discuss the question of whether $\operatorname{Depth}(S) \leq \operatorname{Depth}(T)$ . For Mekler's uniform interpretation of arbitrary theories S of finite similarity type into suitable theories T s of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  32
    The additive collapse.Andreas Baudisch - 2009 - Journal of Mathematical Logic 9 (2):241-284.
    Summary. From known examples of theories T obtained by Hrushovski-constructions and of infinite Morley rank, properties are extracted, that allow the collapse to a finite rank substructure. The results are used to give a more model-theoretic proof of the existence of the new uncountably categorical groups in [3].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  26
    A construction of superstable NDOP-NOTOP groups.Andreas Baudisch - 1991 - Journal of Symbolic Logic 56 (4):1385-1390.
    The paper continues [1]. Let S be a complete theory of ultraflat (e.g. planar) graphs as introduced in [4]. We show a strong form of NOTOP for S: The union of two models M1 and M2, independent over a common elementary submodel M0, is the primary model over M1 ∪ M2 of S. Then by results of [1] Mekler's construction [6] gives for such a theory S of nice ultraflat graphs a superstable 2-step-nilpotent group of exponent $p (>2)$ with NDOP (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  11
    Another stable group.Andreas Baudisch - 1996 - Annals of Pure and Applied Logic 80 (2):109-138.
    In a recent communication an uncountably categorical group has been constructed that has a non-locally-modular geometry and does not allow the interpretation of a field. We consider a system Δ of elementary axioms fulfilled by some special subgroups of the above group. We show that Δ is complete and stable, but not superstable. It is not even a R-group in the sense discussed by Wagner.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Die Elementare Theorie der Gruppe vom Typ p∞ mit Untergruppen.Andreas Baudisch - 1975 - Mathematical Logic Quarterly 21 (1):347-352.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  12
    Formulas of L(aa) Where aa is not in The Scope of “¬”.Andreas Baudisch - 1981 - Mathematical Logic Quarterly 27 (16‐17):249-254.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  22
    Formulas ofL Where aa is not in The Scope of “¬”.Andreas Baudisch - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):249-254.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  23
    Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent $${p > 2}$$ p > 2.Andreas Baudisch - 2016 - Archive for Mathematical Logic 55 (3-4):397-403.
    Let L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} be the language of group theory with n additional new constant symbols c1,…,cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c_1,\ldots,c_n}$$\end{document}. In L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} we consider the class K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{K}}}$$\end{document} of all finite groups G of exponent p>2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${p > 2}$$\end{document}, where G′⊆⟨c1G,…,cnG⟩⊆Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  13
    On elementary properties of free lie algebras.Andreas Baudisch - 1986 - Annals of Pure and Applied Logic 30 (2):121-136.
    The elementary theory of a nontrivial free Lie algebra over a commutative integral domain is unstable and has the strict order property.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  36
    On two hierarchies of dimensions.Andreas Baudisch - 1987 - Journal of Symbolic Logic 52 (4):959-968.
    Let T be a countable, complete, ω-stable, nonmultidimensional theory. By Lascar [7], in T eq there is in every dimension of T a type with Lascar rank ω α for some α. We give sufficient conditions for α to coincide with the level of that dimension in Pillay's [10] RK-hierarchy of dimensions computed in T eq . In particular, this is fulfilled for modules.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  19.  11
    The Theory of Abelian Groups With the Quantifier (≦ x).Andreas Baudisch - 1976 - Mathematical Logic Quarterly 23 (27‐30):447-462.
  20.  20
    The Theory of Abelian Groups With the Quantifier (≦ x).Andreas Baudisch - 1977 - Mathematical Logic Quarterly 23 (27-30):447-462.