On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0

E-ISSN： 1943-5886|67|2|759-786

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.67, Iss.2, 2002-06, pp. : 759-786

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Some theorems on definability and decidability

The Journal of Symbolic Logic, Vol. 17, Iss. 3, 1952-09 ,pp. : 179-187

Cambridge University Press

Access to resources Recommend Favorite

Decidability of Definability

The Journal of Symbolic Logic, Vol. 78, Iss. 4, 2013-12 ,pp. : 1036-1054

Cambridge University Press

Access to resources Recommend Favorite

Diophantine relations between rings of S-integers of fields of algebraic functions in one variable over constant fields of positive characteristic

The Journal of Symbolic Logic, Vol. 58, Iss. 1, 1993-03 ,pp. : 158-192

Cambridge University Press

Access to resources Recommend Favorite

Definability and decidability issues in extensions of the integers with the divisibility predicate

The Journal of Symbolic Logic, Vol. 61, Iss. 2, 1996-06 ,pp. : 515-540

Cambridge University Press

Access to resources Recommend Favorite

Relative decidability and definability in henselian valued fields

The Journal of Symbolic Logic, Vol. 76, Iss. 4, 2011-12 ,pp. : 1240-1260

Cambridge University Press

Access to resources Recommend Favorite