[HTML][HTML] A generalization of the Łoś–Tarski preservation theorem
We present new parameterized preservation properties that provide for each natural number
k, semantic characterizations of the∃ k∀⁎ and∀ k∃⁎ prefix classes of first order logic …
k, semantic characterizations of the∃ k∀⁎ and∀ k∃⁎ prefix classes of first order logic …
Preservation under substructures modulo bounded cores
We investigate a model-theoretic property that generalizes the classical notion of
preservation under substructures. We call this property preservation under substructures …
preservation under substructures. We call this property preservation under substructures …