Vol. 18, No. 3, 1966

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 301: 1
Vol. 300: 1  2
Vol. 299: 1  2
Vol. 298: 1  2
Vol. 297: 1  2
Vol. 296: 1  2
Vol. 295: 1  2
Vol. 294: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Special Issues
Submission Guidelines
Submission Form
Contacts
Author Index
To Appear
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
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
Abstract

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
Milestones
Received: 14 September 1965
Published: 1 September 1966
Authors
Robert Arnold Di Paola