Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Direct product decomposition of theories of modules.Steven Garavaglia - 1979 - Journal of Symbolic Logic 44 (1):77-88.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Decomposition of totally transcendental modules.Steven Garavaglia - 1980 - Journal of Symbolic Logic 45 (1):155-164.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)The elementary theory of abelian groups.Paul C. Eklof - 1972 - Annals of Mathematical Logic 4 (2):115.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Model-completions and modules.P. Eklof - 1971 - Annals of Mathematical Logic 2 (3):251.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • ℵ0-categorical modules.Walter Baur - 1975 - Journal of Symbolic Logic 40 (2):213 - 220.
    It is shown that the first-order theory Th R (A) of a countable module over an arbitrary countable ring R is ℵ 0 -categorical if and only if $A \cong \bigoplus_{t finite, n ∈ ω, κ i ≤ ω. Furthermore, Th R (A) is ℵ 0 -categorical for all R-modules A if and only if R is finite and there exist only finitely many isomorphism classes of indecomposable R-modules.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Elementary Properties of Abelian Groups.W. Szmielew - 1959 - Journal of Symbolic Logic 24 (1):59-59.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (1 other version)The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.Peter H. Schmitt - 1982 - Mathematical Logic Quarterly 28 (22‐24):323-329.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The generalised RK-Order, orthogonality and regular types for modules.Mike Prest - 1985 - Journal of Symbolic Logic 50 (1):202-219.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Forking in modules.Steven Garavaglia - 1981 - Notre Dame Journal of Formal Logic 22 (2):155-162.
    Download  
     
    Export citation  
     
    Bookmark   6 citations