Vaught's conjecture for modules over a serial ring
complete theory of modules over a countable serial ringcountable modelsserial ringsVaught's conjecture
Model theory of denumerable and separable structures (03C15) Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70) Injective modules, self-injective associative rings (16D50) Chain conditions on other classes of submodules, ideals, subrings, etc.; coherence (associative rings and algebras) (16P70)
Theories of modules have been an important test case for Vaught's conjecture. Algebraic techniques often lead to a solution in situations which are still intractable in general. The author proves that any complete theory of modules over a countable serial ring satisfies Vaught's conjecture, that is, that such a theory has either continuum many isomorphism classes of countable models, or countably many such classes. This conjecture has been of significant interest in model theory for many years, because apparently it can only be resolved for a given theory by obtaining a deep structural understanding of the models of that theory. That is the case here. The author builds on earlier work of \textit{P. C. Eklof} and \textit{I. Herzog} [Ann. Pure Appl. Logic 72, No. 2, 145-176 (1995; Zbl 0822.03019)] and of \textit{A. Facchini} and \textit{G. Puninski} [in: A. Facchini (ed.) et al., Abelian groups and modules. Proceedings of the Padova conference, Padova, Italy, June 23--July 1, 1994. Dordrecht: Kluwer Academic Publishers. Math. Appl., Dordr. 343, 145-162 (1995; Zbl 0843.16003)]. A module has few types if its theory does, that is, its theory has countably many \(n\)-types for each \(n\). Clearly if a theory has uncountably many \(n\) types for some \(n\), it has continuum many countable models. A module has few models if its theory does, that is, it has fewer than continuum many countable modules. The author obtains interesting structural results for modules over a serial ring, with few types. It follows that a module over a serial ring (with few models) must be \(\omega\)-stable (that is, \(\Sigma\)-pure-injective). Vaught's conjecture for modules over a serial ring follows immediately.
- MODULES WITH FEW TYPES OVER A SERIAL RING AND OVER A COMMUTATIVE PRÜFER RING
- Modules with few types over a commutative Prufer ring
- scientific article; zbMATH DE number 1396776
- Vaught's conjecture for superstable theories of finite rank
- Vaught's Conjecture for Modules Over a Dedekind Prime Ring
- Vaught's Conjecture and Group Rings
- Modules with few types over a commutative valuation ring
- A proof of Vaught's conjecture for \(\omega\)-stable theories
- On the strong Martin conjecture
- Why some people are excited by Vaught's conjecture
- Modules with few types
- Vaught's conjecture
- Modules with few types over a hereditary Noetherian prime ring
- Modules with few types over some finite-dimensional algebras
- The classification of small weakly minimal sets. III: Modules
- Vaught's Conjecture for Modules Over a Dedekind Prime Ring
- Modules with few types over a commutative Prufer ring
- Vaught's conjecture for modules over hereditary Nötherian prime rings
- MODULES WITH FEW TYPES OVER A SERIAL RING AND OVER A COMMUTATIVE PRÜFER RING
- Vaught's Conjecture and Group Rings
- Modules with few types over a commutative valuation ring
- Vaught's conjecture for superstable theories of finite rank
This page was built for publication: Vaught's conjecture for modules over a serial ring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953211)
