Graduate studies at Western
Journal of Symbolic Logic 64 (2):825-845 (1999)
|Abstract||The class of all Artinian local rings of length at most l is ∀ 2 -elementary, axiomatised by a finite set of axioms Art l . We show that its existentially closed models are Gorenstein, of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory Got l of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the theory Art l is companionable, with model-companion Got l|
|Keywords||Model Theory Existentially Closed Models Artinian Local Rings Gorenstein Rings|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Françoise Delon & Rafel Farré (1996). Some Model Theory for Almost Real Closed Fields. Journal of Symbolic Logic 61 (4):1121-1152.
Herbert H. J. Riedel (1988). Existentially Closed Algebras and Boolean Products. Journal of Symbolic Logic 53 (2):571-596.
K.-P. Podewski & Joachim Reineke (1979). Algebraically Closed Commutative Local Rings. Journal of Symbolic Logic 44 (1):89-94.
Bruce I. Rose (1978). The ℵ1-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields. Journal of Symbolic Logic 43 (2):250 - 259.
Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 43 (1):92-112.
Paul C. Eklof & Hans-Christian Mez (1987). Modules of Existentially Closed Algebras. Journal of Symbolic Logic 52 (1):54-63.
Paul Bankston (1999). A Hierarchy of Maps Between Compacta. Journal of Symbolic Logic 64 (4):1628-1644.
Anand Pillay (2001). A Note on Existentially Closed Difference Fields with Algebraically Closed Fixed Field. Journal of Symbolic Logic 66 (2):719-721.
Luc Bélair (1995). Anneaux de Fonctions P-Adiques. Journal of Symbolic Logic 60 (2):484-497.
Added to index2009-01-28
Total downloads2 ( #246,694 of 739,392 )
Recent downloads (6 months)0
How can I increase my downloads?