Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility

Publisher： Cambridge University Press

E-ISSN： 1943-5886|50|4|927-935

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.50, Iss.4, 1985-12, pp. : 927-935

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

μ-definable sets of integers

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Covering the integers with arithmetic progressions

By  

Bulletin of the Australian Mathematical Society, Vol. 32, Iss. 3, 1985-12 ,pp. : 461-463

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

Sums of squares of integers in arithmetic progression

By  

The Mathematical Gazette, Vol. 95, Iss. 533, 2011-07 ,pp. : 186-196

Cambridge University Press

Access to resources Recommend Favorite

A Negative Answer to the Problem of Dixmier on Hearts of Prime Quotients of Enveloping Algebras

By Rentschler Rudolf  

Communications in Algebra, Vol. 36, Iss. 3, 2008-03 ,pp. : 1153-1170

Taylor & Francis Ltd

Access to resources Recommend Favorite