Vol. 34, No. 2, 1970

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 332: 1
Vol. 331: 1  2
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
The solution of a decision problem for several classes of rings

Harold Simmons

Vol. 34 (1970), No. 2, 547–557
Abstract

This paper is concerned with the solution of certain decision problems for classes of associative commutative rings. We consider several such classes defined by restricting the nature of the rings, e.g., by specifying the characteristic. If 𝒦 is any of these classes we consider the problem of deciding which universal sentences are true in (all members of) 𝒦. We show that this problem is recursively solvable.

Mathematical Subject Classification
Primary: 02.74
Milestones
Received: 19 July 1967
Revised: 22 September 1969
Published: 1 August 1970
Authors
Harold Simmons