Some Completeness Results in the Mathematical Theory of Computation

Publisher Website
Google Scholar
Abstract
A formal theory is described which incorporates the “assignment” function a ( i , k , ξ ) and the “contents” function c ( i , ξ ). The axioms of the theory are shown to comprise a complete and consistent set.