Definability of Geometric Properties in Algebraically Closed Fields.

MATHEMATICAL LOGIC QUARTERLY(1999)

引用 13|浏览4
暂无评分
摘要
We prove that there exists no sentence F of the language of rings with an extra binary predicat I(2) satisfying the following property: for every definable set X subset of or equal to C(2), X is connected if and only if (C, X) satisfies F, where It is interpreted by X. We conjecture that the same result holds for closed subset of C(2). We prove some results motivated by this conjecture.
更多
查看译文
关键词
definability,constraint databases,model theory,algebraically closed fields
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要