Polynomial rings and weak second-order logic

Publisher： Cambridge University Press

E-ISSN： 1943-5886|50|4|953-972

ISSN： 0022-4812

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

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

Second-Order Logic and Foundations of Mathematics

By  

Bulletin of Symbolic Logic, Vol. 7, Iss. 4, 2001-12 ,pp. : 504-520

Cambridge University Press

Access to resources Recommend Favorite

Representability in second-order propositional poly-modal logic

By  

The Journal of Symbolic Logic, Vol. 67, Iss. 3, 2002-09 ,pp. : 1039-1054

Cambridge University Press

Access to resources Recommend Favorite

INTERPRETATIONS BETWEEN ω-LOGIC AND SECOND-ORDER ARITHMETIC

By  

The Journal of Symbolic Logic, Vol. 79, Iss. 3, 2014-08 ,pp. : 845-858

Cambridge University Press

Access to resources Recommend Favorite

On the expressiveness of frame satisfiability and fragments of second-order logic

By  

The Journal of Symbolic Logic, Vol. 63, Iss. 1, 1998-03 ,pp. : 73-82

Cambridge University Press

Access to resources Recommend Favorite

Interpreting second-order logic in the monadic theory of order 1

By  

The Journal of Symbolic Logic, Vol. 48, Iss. 3, 1983-09 ,pp. : 816-828

Cambridge University Press

Access to resources Recommend Favorite