Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorzskoda
   • CommentTimeApr 18th 2013
   • PermaLink
   Author: zskoda
   Format: MarkdownItex[[Chevalley's theorem on constructible sets]] and [[elimination of quantifiers]]. The entries are related ! The interest came partly from teaching some classical algebraic geometry these days. The related entry is also [[forking]], though yet it is not said why; non-forking may be viewed as related to a notion of [[generic point]], [[generic type]] (in the sense of model theory).

   Chevalley’s theorem on constructible sets and elimination of quantifiers. The entries are related ! The interest came partly from teaching some classical algebraic geometry these days. The related entry is also forking, though yet it is not said why; non-forking may be viewed as related to a notion of generic point, generic type (in the sense of model theory).

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeApr 18th 2013
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexOf course they're related! Taking the image is the same as applying an existential quantifier. Compare the magnificent theorem of [Tarski-Seidenberg](http://ncatlab.org/nlab/show/semialgebraic+set#the_tarskiseidenberg_theorem_3), which is more or less the theorem that the theory of the real numbers as ordered field admits elimination of quantifiers and is decidable.

   Of course they’re related! Taking the image is the same as applying an existential quantifier.

   Compare the magnificent theorem of Tarski-Seidenberg, which is more or less the theorem that the theory of the real numbers as ordered field admits elimination of quantifiers and is decidable.

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeApr 18th 2013
   • (edited Apr 18th 2013)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI would like to see (I am convinced there are many) a model categorical generalization of the following: look at the notion of the generic point in the sense of Weil of an irreducible affine variety over a field $k$. The generic point in the sense of Weil of the variety is point of affine space over the universal domain $\Omega$ (algebraically closed field which is of infinite transcendence over k) with the property that the variety is its locus in the sense of having the same annihilator in $k[X_1,\ldots,X_n]$. Now a variety has a generic point $x$ in the sense of Weil iff $k(x)$ is a [[regular field extension]] of the field $x$.

   I would like to see (I am convinced there are many) a model categorical generalization of the following: look at the notion of the generic point in the sense of Weil of an irreducible affine variety over a field $k$. The generic point in the sense of Weil of the variety is point of affine space over the universal domain $\Omega$ (algebraically closed field which is of infinite transcendence over k) with the property that the variety is its locus in the sense of having the same annihilator in $k[X_1,\ldots,X_n]$. Now a variety has a generic point $x$ in the sense of Weil iff $k(x)$ is a regular field extension of the field $x$.

4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeApr 18th 2013
   • PermaLink
   Author: zskoda
   Format: MarkdownItexNew entry [[regular field extension]].

   New entry regular field extension.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeApr 18th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have cross-linked with _[[field extension]]_ and fixed the link to "algebraically closed".

   I have cross-linked with field extension and fixed the link to “algebraically closed”.