Existentially closed models of the theory of artinian local rings

Journal of Symbolic Logic 64 (2):825-845 (1999)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 77,916

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

228 (#57,468)

6 months
1 (#485,121)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references