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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|61|2|515-540

ISSN： 0022-4812

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

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

Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers

By  

The Journal of Symbolic Logic, Vol. 54, Iss. 4, 1989-12 ,pp. : 1253-1287

Cambridge University Press

Access to resources Recommend Favorite

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

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

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

Decidability and undecidability of theories with a predicate for the primes

By  

The Journal of Symbolic Logic, Vol. 58, Iss. 2, 1993-06 ,pp. : 672-687

Cambridge University Press

Access to resources Recommend Favorite