MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

These logic/ZFC/model theory arguments seem out of proportion to the task at hand. Let $k$ be a field and $A$ a finitely generated $k$-algebra over a field $k$. We want to prove that there is a $k$-algebra map from $A$ to a finite extension of $k$. Pick an algebraically closed extension field $k'/k$ (e.g., algebraic closure of a massive transcendental extension, or whatever), and we want to show that if the result is known in general over $k'$ then it holds over $k$. We just need some very basic commutative algebra, as follows.
Proof: We may replace $k$ with its algebraic closure $\overline{k}$ in $k'$ and $A$ with a quotient $\overline{A}$ of $A \otimes_k \overline{k}$ by a maximal ideal (since if the latter equals $\overline{k}$ then $A$ maps to an algebraic extension of $k$, with the image in a finite extension of $k$ since $A$ is finitely generated over $k$). All that matters is that now $k$ is perfect and infinite.
By the hypothesis over $k'$, there is a $k'$-algebra homomorphism $$A' := k' \otimes_k A \rightarrow k',$$ or equivalently a $k$-algebra homomorphism $A \rightarrow k'$. By expressing $k'$ as a direct limit of finitely generated extension fields of $k$ such an algebra homomorphism lands in such a field (since $A$ is finitely generated over $k$). That is, there is a finitely generated extension field $k'/k$ such that the above kind of map exists. Now since $k$ is perfect, there is a separating transcendence basis $x_1, \dots, x_n$, so $k' = K[t]/(f)$ for a rational function field $K/k$ (in several variables) and a monic (separable) $f \in K[t]$ with positive degree. Considering coefficients of $f$ in $K$ as rational functions over $k$, there is a localization $$R = k[x_1,\dots,x_n][1/h]$$ so that $f \in R[t]$. By expressing $k'$ as the limit of such $R$ we get such an $R$ so that there is a $k$-algebra map $$A \rightarrow R.$$ R[t]/(f).$$But k is infinite, so there are many c \in k^n such that h(c) \ne 0. Pass to the quotient by x_i \mapsto c_i. QED I think the main point is twofold: (i) the principle of proving a result over a field by reduction to the case of an extension field with more properties (e.g., algebraically closed), and (ii) spreading out (descending through direct limits) and specialization are very useful for carrying out (i). 3 added 91 characters in body These logic/ZFC/model theory arguments seem out of proportion to the task at hand. Let k be a field and A a finitely generated k-algebra over a field k. We want to prove that there is a k-algebra map from A to a finite extension of k. Pick an algebraically closed extension field k'/k (e.g., algebraic closure of a massive transcendental extension, or whatever), and we want to show that if the result is known in general over k' then it holds over k. We just need some very basic commutative algebra, as follows. Proof: We may replace k with its algebraic closure \overline{k} in k' and A with a quotient \overline{A} of A \otimes_k \overline{k} by a maximal ideal (since if the latter equals \overline{k} then A maps to an algebraic extension of k, with the image in a finite extension of k since A is finitely generated over k). All that matters is that now k is perfect and infinite. By the hypothesis over k', there is a k'-algebra homomorphism$$A' := k' \otimes_k A \rightarrow k',$$and by or equivalently a k-algebra homomorphism A \rightarrow k'. By expressing k' as a direct limit of finitely generated extension fields of k such an algebra homomorphism descends to some lands in such a field (since k' A is finitely generated over k). That is, there is a finitely generated extension field k'/k such that the above kind of map exists. Now since k is perfect, there is a separating transcendence basis x_1, \dots, x_n, so k' = K[t]/(f) for a rational function field K/k (in several variables) and a monic (separable) f \in K[t] with positive degree. Considering coefficients of f in K as rational functions over k, there is a localization$$R = k[x_1,\dots,x_n][1/h]$$so that f \in R[t]. By expressing k' as the limit of such R we get such an R so that there is an a R-algebra k-algebra map$$R \otimes_k A $A \rightarrow R.$$But k is infinite, so there are many c \in k^n such that h(c) \ne 0. Pass to the quotient by x_i \mapsto c_i. QED I think the main point is twofold: (i) the principle of proving a result over a field by reduction to the case of an extension field with more properties (e.g., algebraically closed), and (ii) spreading out (descending through direct limits) and specialization are very useful for carrying out (i). 2 added 767 characters in body; added 1 characters in body; deleted 5 characters in body These logic/ZFC/model theory arguments seem out of proportion to the task at hand. Let k be a field and A a finitely generated k-algebra which is over a field . k. We want to prove that A there is a k-finite (i.e., finite-dimensional as k-algebra map from A to a finite extension of k-vector space). k. Pick an algebraically closed extension field k'/k (e.g., algebraic closure of a massive transcendental extension, or whatever), and we want to show that if the result is known in general over k' then it holds over k. We just need some very basic commutative algebra, as follows. Proof: Consider the maximal reduced We may replace k with its algebraic closure \overline{k} in k' and A with a quotient$$A' = (\overline{A}$ of $A \otimes_k k') _{\rm{red}};$$this is \overline{k} by a reduced finitely generated k'-algebra and integral over maximal ideal (since if the field latter equals A, so its minimal primes \overline{k} then \mathfrak{p} are also maximal and its quotient by any such A maps to an algebraic extension of \mathfrak{p} is k, with the image in a field that finite extension of k since A is finitely generated as a over k'-algebra. k). All that matters is that now k is perfect and infinite. By the assumed Nullstellensatz hypothesis over k', A'/\mathfrak{p} there is a k'-finite. But k'-algebra homomorphism A' injects into the product A' := k' \otimes_k A \rightarrow k',$$and by expressing$k'$as a direct limit of these finitely many quotients generated extension fields of$A'/\mathfrak{p}$, so k$ such an algebra homomorphism descends to some $A'$ k'$That isitself$k'$-finite. The nilradical , there is a finitely generated extension field$J$k'/k$ such that the above kind of map exists. Now since $A k$ is perfect, there is a separating transcendence basis $x_1, \otimes_k k'$ satisfies dots, x_n$, so$J^n k' = 0$K[t]/(f)$ for some large a rational function field $n$, K/k$(in several variables) and each a monic (separable)$J^i/J^{i+1}$f \in K[t]$ with positive degree. Considering coefficients of $f$ in $K$ as rational functions over $k$, there is a finitely generated localization$A'$-module, hence $R = k[x_1,\dots,x_n][1/h]$$so that f \in R[t]. By expressing k' as the limit of such R we get such an R so that there is an k'-finite. Thus, R-algebra mapA R \otimes_k k' is A \rightarrow R.$$But$k'$-finite, k$ is infinite, so there are many $A$ is c \in k^n$such that$k$-finite. h(c) \ne 0$. Pass to the quotient by $x_i \mapsto c_i$.