2010/11/16 by Saharon Shelah, Shelah, Saharon · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1011.3581
openalex publication_date 2010/11/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove that the theory of abelian groups and R-modules even in infinitary logic is stable and understood to some extent.