Let N be the set of nonnegative integers and let <N*,+> be the weak direct product of <N,+> with itself. Mostowski[9] shows that the theory of <N*,+> is decidable, but his decision procedure isn't elementary recursive. We present here a more efficient procedure which operates within space [equation]
No takes yet. Share an insight, caveat, or question.
Charles Rackoff (1974) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: