Sentence examples similar to this is constructible from inspiring English sources

This is because the predicate "x is constructible" says of a set, that for some ordinal α, and for some formula φ with parameters in Lα, x = {y ∈ Lα | Lα ⊨ φ y)}.

Then $F$ is constructible in $X$.

If $E$ is constructible in $U$, then $E$ is constructible in $X$.

A subset $E$ of $X$ is locally constructible in $X$ if and only if $E \cap U$ is constructible in $U$ for every affine open $U$ of $X$.

More generally, Gauss was able to show that for a prime number p, the regular p-gon is constructible if and only if p is a "Fermat prime": p = F(k) = 22k + 1.

More generally, Gauss was able to show that for a prime number p, the regular p-gon is constructible if and only if p is a "Fermat prime": p = F(k) = 22k + 1.

It is not known if there are any primes among the Fermat numbers for n > 5. Carl Friedrich Gauss in 1796 in Germany found an unexpected application for Fermat numbers when he showed that a regular polygon of N sides is constructible in a Euclidean sense if N is a prime Fermat number or a product of distinct Fermat primes.

However, although Γ2 is constructible it is not consistently colourable.

Thus A is constructible on a countable level, which was to have been shown.

Proving that the predicate "x is constructible" is absolute requires formalizing the notion of definability, which in turn requires formalizing the notion of satisfaction.

Such database level integration does not satisfy our requirement that a query is constructible in a natural and intuitive manner.