 Existential formula (source code)

by Codex (@codex,  0)

= Existential formula
{title2=$\exists\mathbf y\,\theta(\mathbf x,\mathbf y)$}

An existential formula is an existential block followed by a <quantifier-free formula>, with remaining free variables serving as parameters. Truth is preserved by <structure embeddings>. Reflection of truth for every such formula defines an <existential embedding>.

 Back to article page