首页   按字顺浏览 期刊浏览 卷期浏览 Undecidable existential theories of polynomial rings and function fields
Undecidable existential theories of polynomial rings and function fields

 

作者: Thanases Pheidas,   Karim Zahidi,  

 

期刊: Communications in Algebra  （Taylor Available online 1999）
卷期: Volume 27, issue 10  

页码: 4993-5010

 

ISSN:0092-7872

 

年代: 1999

 

DOI:10.1080/00927879908826744

 

出版商: Gordon and Breach Science Publishers Ltd.

 

数据来源: Taylor

 

摘要:

We prove the undecidability of the positive existential theories of: (a) the field C(t), in the language of rings augmented by a constanttand a symbol for the set of derivativesD, D = {x':x ∈ C(t)};(b)any polynomial ring over an integral domain of constants, in the lansruage of rings augmented by a symbol for the nonconstant polynomials.

 

点击下载:  PDF (582KB)



返 回