Vol. 18, No. 3, 1966

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 328: 1
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Vol. 321: 1  2
Online Archive
The Journal
Editorial Board
Submission Guidelines
Submission Form
Policies for Authors
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
Other MSP Journals
On sets represented by the same formula in distinct consistent axiomatizable Rosser theories

Robert Arnold Di Paola

Vol. 18 (1966), No. 3, 455–456

In this note a theorem is proved which includes the following: if T is a consistent, axiomatizable Rosser theory in which all recursive functions of one argument are definable and S is any sentence undecidable in T, then given any pair (d1,d2) of re (recursively enumerable) degrees, there is a formula F which represents a set of degree d1 in T and of degree d2 in T= T(S), the theory obtained from T by adjoining S as a new axiom.

Mathematical Subject Classification
Primary: 02.77
Received: 14 September 1965
Published: 1 September 1966
Robert Arnold Di Paola