A characterization of ML in many-sorted arithmetic with conditional application

Publisher： Cambridge University Press

E-ISSN： 1943-5886|57|3|924-953

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.57, Iss.3, 1992-09, pp. : 924-953

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

Logic of many-sorted theories

By  

The Journal of Symbolic Logic, Vol. 17, Iss. 2, 1952-06 ,pp. : 105-116

Cambridge University Press

Access to resources Recommend Favorite

Connecting many-sorted theories

By  

The Journal of Symbolic Logic, Vol. 72, Iss. 2, 2007-06 ,pp. : 535-583

Cambridge University Press

Access to resources Recommend Favorite

A note on interpretations of many-sorted theories

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 372-374

Cambridge University Press

Access to resources Recommend Favorite

Coinductive formulas and a many-sorted interpolation theorem

By  

The Journal of Symbolic Logic, Vol. 53, Iss. 3, 1988-09 ,pp. : 937-960

Cambridge University Press

Access to resources Recommend Favorite

Characterization of arithmetic functions that preserve the sum-of-squares operation

By Bašić Bojan  

Acta Mathematica Sinica, Vol. 30, Iss. 4, 2014-04 ,pp. : 689-695

Springer Publishing Company

Access to resources Recommend Favorite