A result on implications of Σ 1-sentences and its application to normal form theorems

Publisher： Cambridge University Press

E-ISSN： 1943-5886|46|3|634-642

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.46, Iss.3, 1981-09, pp. : 634-642

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

A normal form theorem for first order formulas and its application to Gaifman's splitting theorem

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 4, 1984-12 ,pp. : 1262-1267

Cambridge University Press

Access to resources Recommend Favorite

An improved prenex normal form1

By  

The Journal of Symbolic Logic, Vol. 27, Iss. 3, 1962-09 ,pp. : 317-326

Cambridge University Press

Access to resources Recommend Favorite

Strong reduction and normal form in combinatory logic 1

By  

The Journal of Symbolic Logic, Vol. 32, Iss. 2, 1967-08 ,pp. : 213-223

Cambridge University Press

Access to resources Recommend Favorite

A normal form theorem for Lω1p , with applications

By  

The Journal of Symbolic Logic, Vol. 47, Iss. 3, 1982-09 ,pp. : 605-624

Cambridge University Press

Access to resources Recommend Favorite

Proof of the law of infinite conjunction using the perfect disjunctive normal form 1

By  

The Journal of Symbolic Logic, Vol. 32, Iss. 2, 1967-08 ,pp. : 196-197

Cambridge University Press

Access to resources Recommend Favorite