Rings which admit elimination of quantifiers

Rings which admit elimination of quantifiers

The aim of this paper is to provide an addendum to a paper by Rose with the same title which has appeared in an earlier issue of this Journal [2]. Our new result is: Theorem. A ring of characteristic zero which admits elimination of quantifiers in the language {0, 1, +, ·} is an algebraically closed...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 1981-03, Vol.46 (1), p.56-58
1. Verfasser: Berline, Chantal
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Integers
Logical theorems
Mathematical rings
Mathematical theorems
Polynomials
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The aim of this paper is to provide an addendum to a paper by Rose with the same title which has appeared in an earlier issue of this Journal [2]. Our new result is: Theorem. A ring of characteristic zero which admits elimination of quantifiers in the language {0, 1, +, ·} is an algebraically closed field.
ISSN:0022-4812
1943-5886
DOI:10.2307/2273256