Existentially closed models of the theory of artinian local rings
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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFranç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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,684 of 549,699 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
