Stratified languages
A. Pétry · Journal of Symbolic Logic · 1992
Abstract We consider arbitrary stratified languages. We study structures which satisfy the same stratified sentences and we obtain an extension of Keisler's Isomorphism Theorem to this situation. Then we consider operations which are definable by a stratified formula and modify the ‘type’ of their argument by one; we prove that for such an operationFthe sentencec=F(c)and the schemeφ(c) ↔ (F(c)), where↔(x) varies among all the stratified formulas with no variable other thanxfree, imply the same stratified {c}-sentences.