An application of a theorem of Rothmaler
Logic Journal of IGPL • 2012
Publication Information
Authors
M. ZAYED; A. Y. ABDELWANIS
Keywords
Purely large structure, finitely accesible class, largest complete theory.
Journal
Logic Journal of IGPL
Publisher
Not Available
Volume
Not Available
Issue
Not Available
Pages
Not Available
publication.type
International
Paper Link
Not Available
Supplementary Materials
Not Available
Abstract
In this article, the notion of purely large structure is introduced. It is shown, with the aid of a Theorem of Rothmaler, that any
finitely accessible class possesses purely large structures. This applies to the class Mod(R) of all left modules over a given
ring R. The theory T∗ of purely large modules is always complete. It is shown that T∗ is model-complete if and only if R
is regular. For any algebra of finite representation type R, over an infinite field, T∗ is axiomatizable by one sentence over
Th(Mod(R)). A characterization of pure semisimple rings, in terms of purely large modules, is obtained.
finitely accessible class possesses purely large structures. This applies to the class Mod(R) of all left modules over a given
ring R. The theory T∗ of purely large modules is always complete. It is shown that T∗ is model-complete if and only if R
is regular. For any algebra of finite representation type R, over an infinite field, T∗ is axiomatizable by one sentence over
Th(Mod(R)). A characterization of pure semisimple rings, in terms of purely large modules, is obtained.
Staff Members - Benha University