Modules with regular generic types part iv

DOI10.2307/2275185MaRDI QIDQ4008757zbMATH OpenOpenAlexFDO

Authors Ivo Herzog, Philipp Rothmaler

Publication date 27 September 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275185

zbMATH Keywords

decomposition theoremsmall theoriesmodel theory of modulesfew typespp-semisimplicity

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70)

Recommendations

• scientific article; zbMATH DE number 493069
• Generically stable regular types
• Modular type classes
• Types for modules
• scientific article; zbMATH DE number 1678385
• Generic unification via two-level types and parameterized modules
• Module types
• scientific article; zbMATH DE number 3995028
• A type system for recursive modules
• Two-level types and parameterized modules

Cites work

• scientific article; zbMATH DE number 3211026 (Why is no real title available?)
• Model theory of modules
• The classification of small weakly minimal sets. III: Modules

This page was built for publication: Modules with regular generic types part iv

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4008757)