Decidability of Definability

Publisher： Cambridge University Press

E-ISSN： 1943-5886|78|4|1036-1054

ISSN： 0022-4812

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

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

By  

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

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

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 simplicity

By  

The Journal of Symbolic Logic, Vol. 20, Iss. 3, 1955-09 ,pp. : 235-250

Cambridge University Press

Access to resources Recommend Favorite