... simplymeansasetofsentences,andthenotionaboveisthatofa closed theory.LetAbeastructureforL.ThetheoryofAisthesetofsentencesofLwhicharetrueinA(i.e.,thetheoryofAisthesetofsentencesσsuchthatAisamodelofσ).ThetheoryofAisdenotedTh(A)andisacompletetheory. ... When p= 2, the Steen-rod square operationsSqi generate the Steenrodalgebra. For odd primes p, the analog of the squares are the pth power operations Pi; thesetogether with the Bockstein ... to the leftof the value ofχA(0) are blank. The operation of the Turing machine is the same, except that the transition function is modified to account for the character being scanned on the...