A b s t r a c t. The notion of recursive satisfaction is extended from prenex $\forall \exists$ arithmetic sentences to any first-order arithmetic sentence by allowing the scope of a negative (existential) quantifier to depend on positive (universal) quantifiers which may lie within its scope.