On first-order expressibility of satisfiability in submodels

Abstract

Let $κ,λ$ be regular cardinals, $λ\leκ$, let $φ$ be a sentence of the language $\mathcal L_{κ,λ}$ in a given signature, and let $\vartheta(φ)$ express the fact that $φ$ holds in a submodel, i.e., any model $\mathfrak A$ in the signature satisfies $\vartheta(φ)$ if and only if some submodel $\mathfrak B$ of $\mathfrak A$ satisfies $φ$. It was shown in [1] that, whenever $φ$ is in $\mathcal L_{κ,ω}$ in the signature having less than $κ$ functional symbols (and arbitrarily many predicate symbols), then $\vartheta(φ)$ is equivalent to a monadic existential sentence in the second-order language $\mathcal L^{2}_{κ,ω}$, and that for any signature having at least one binary predicate symbol there exists $φ$ in $\mathcal L_{ω,ω}$ such that $\vartheta(φ)$ is not equivalent to any (first-order) sentence in $\mathcal L_{\infty,ω}$. Nevertheless, in certain cases $\vartheta(φ)$ are first-order expressible. In this note, we provide several (syntactical and semantical) characterizations of the case when $\vartheta(φ)$ is in $\mathcal L_{κ,κ}$ and $κ$ is $ω$ or a certain large cardinal.