Some theorems on definability and decidability

Publisher： Cambridge University Press

E-ISSN： 1943-5886|17|3|179-187

ISSN： 0022-4812

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

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

Decidability of Definability

By  

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

Cambridge University Press

Access to resources Recommend Favorite

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

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

By  

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Decidability of some intuitionistic predicate theories

By  

The Journal of Symbolic Logic, Vol. 37, Iss. 3, 1972-09 ,pp. : 579-587

Cambridge University Press

Access to resources Recommend Favorite