Switch to: References

Add citations

You must login to add citations.
  1. The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.
    Let n ≥ 3. The following theorems are proved. Theorem. The theory of the class of strictly upper triangular n × n matrix rings over fields is finitely axiomatizable. Theorem. If R is a strictly upper triangular n × n matrix ring over a field K, then there is a recursive map σ from sentences in the language of rings with constants for K into sentences in the language of rings with constants for R such that $K \vDash \varphi$ if (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
    We say that a ring admits elimination of quantifiers, if in the language of rings, {0, 1, +, ·}, the complete theory of R admits elimination of quantifiers. Theorem 1. Let D be a division ring. Then D admits elimination of quantifiers if and only if D is an algebraically closed or finite field. A ring is prime if it satisfies the sentence: ∀ x ∀ y ∃ z (x = 0 ∨ y = 0 ∨ xzy ≠ 0). Theorem (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ω-stability and Morley rank of bilinear maps, rings and nilpotent groups.Alexei G. Myasnikov & Mahmood Sohrabi - 2017 - Journal of Symbolic Logic 82 (2):754-777.
    In this paper we study the algebraic structure ofω-stable bilinear maps, arbitrary rings, and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.
    Download  
     
    Export citation  
     
    Bookmark  
  • Groups of small Morley rank.Gregory Cherlin - 1979 - Annals of Mathematical Logic 17 (1):1.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Stability theory and algebra.John T. Baldwin - 1979 - Journal of Symbolic Logic 44 (4):599-608.
    Download  
     
    Export citation  
     
    Bookmark   3 citations