Rings which admit elimination of quantifiers
Journal of Symbolic Logic 43 (1):92-112 (1978)
| Abstract | We say that a ring admits elimination of quantifiers, if in the language of rings, {0, 1, +, ·}, the complete theory of R admits elimination of quantifiers. Theorem 1. Let D be a division ring. Then D admits elimination of quantifiers if and only if D is an algebraically closed or finite field. A ring is prime if it satisfies the sentence: ∀ x ∀ y ∃ z (x = 0 ∨ y = 0 ∨ xzy ≠ 0). Theorem 2. If R is a prime ring with an infinite center and R admits elimination of quantifiers, then R is an algebraically closed field. Let A be the class of finite fields. Let B be the class of 2 × 2 matrix rings over a field with a prime number of elements. Let C be the class of rings of the form $GF(p^n) \bigoplus GF(p^k)$ such that either n = k or g.c.d. (n, k) = 1. Let D be the set of ordered pairs (f, Q) where Q is a finite set of primes and f: Q → A ∪ B ∪ C such that the characteristic of the ring f(q) is q. Finally, let E be the class of rings of the form $\bigoplus_{q \in Q}f(q)$ for some (f, Q) in D. Theorem 3. Let R be a finite ring without nonzero trivial ideals. Then R admits elimination of quantifiers if and only if R belongs to E. Theorem 4. Let R be a ring with the descending chain condition of left ideals and without nonzero trivial ideals. Then R admits elimination of quantifiers if and only if R is an algebraically closed field or R belongs to E. In contrast to Theorems 2 and 4, we have Theorem 5. If R is an atomless p-ring, then R is finite, commutative, has no nonzero trivial ideals and admits elimination of quantifiers, but is not prime and does not have the descending chain condition. We also generalize Theorems 1, 2 and 4 to alternative rings | |||||||||
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJan Krajíček & Thomas Scanlon (2000). Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings. Bulletin of Symbolic Logic 6 (3):311-330.
Stanley Burris (1984). Model Companions for Finitely Generated Universal Horn Classes. Journal of Symbolic Logic 49 (1):68-74.
M. A. Dickmann (1987). Elimination of Quantifiers for Ordered Valuation Rings. Journal of Symbolic Logic 52 (1):116-128.
Thanases Pheidas & Karim Zahidi (2004). Elimination Theory for Addition and the Frobenius Map in Polynomial Rings. Journal of Symbolic Logic 69 (4):1006 - 1026.
Luc Bélair (1995). Anneaux de Fonctions P-Adiques. Journal of Symbolic Logic 60 (2):484-497.
Bruce I. Rose (1979). Corrigendum: "Rings Which Admit Elimination of Quantifiers". Journal of Symbolic Logic 44 (1):109-110.
Chantal Berline & Gregory Cherlin (1983). QE Rings in Characteristic Pn. Journal of Symbolic Logic 48 (1):140 - 162.
Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. Journal of Symbolic Logic 57 (4):1305-1318.
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.
Chantal Berline (1981). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 46 (1):56-58.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,652 of 549,065 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
