- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Rings which admit elimination of quantifiers
Journal of Symbolic Logic 46 (1):56-58 (1981)
Abstract
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 fieldLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Corrigendum: "Rings which admit elimination of quantifiers".Bruce I. Rose - 1979 - Journal of Symbolic Logic 44 (1):109-110.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Elimination of quantifiers for ordered valuation rings.M. A. Dickmann - 1987 - Journal of Symbolic Logic 52 (1):116-128.
QE rings in characteristic p n.Chantal Berline & Gregory Cherlin - 1983 - Journal of Symbolic Logic 48 (1):140 - 162.
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.
Quantifier elimination for neocompact sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
Magidor-Malitz quantifiers in modules.Andreas Baudisch - 1984 - Journal of Symbolic Logic 49 (1):1-8.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Analytics
Added to PP
2009-01-28
Downloads
93 (#178,015)
6 months
9 (#242,802)
2009-01-28
Downloads
93 (#178,015)
6 months
9 (#242,802)
Historical graph of downloads
Citations of this work
TERLOUW, J., Reduction of higher type levels by means of an ordinal analysis of finite terms WOOD, C., see SARACINO, D.D. Saracino - 1985 - Annals of Pure and Applied Logic 28 (1):322.
Finite QE rings in characteristic p 2.Dan Saracino & Carol Wood - 1985 - Annals of Pure and Applied Logic 28 (1):13-31.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-67rzb uwo