Vol. 43, No. 3, 1972

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 331: 1
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 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 decidability of a class of AE sentence in the isols

Erik Maurice Ellentuck and Alfred Berry Manaster

Vol. 43 (1972), No. 3, 573–584
Abstract

The isols are a recursive analogue of the Dedekind finite cardinals originally developed by Dekker. In this paper a metatheorem is proved which shows that for certain sentences 𝒜 about addition in which no existential quantifier precedes a universal quantifier, the truth of 𝒜 in the natural numbers is sufficient to ensure the truth of 𝒜 in the isols. A more general class of sentences is also considered and it is seen that the applicability of the metatheorem is also necessary for the truth of any sentence in this class. It follows that there exists a decision procedure for that class of sentences. Extensions of these results to the case of the cosimple isols are also considered.

Mathematical Subject Classification
Primary: 02F40
Milestones
Received: 21 June 1971
Revised: 11 April 1972
Published: 1 December 1972
Authors
Erik Maurice Ellentuck
Alfred Berry Manaster