On sentences which are true of direct unions of algebras 1

Publisher： Cambridge University Press

E-ISSN： 1943-5886|16|1|14-21

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.16, Iss.1, 1951-03, pp. : 14-21

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

Sentences true in all constructive models

By  

The Journal of Symbolic Logic, Vol. 25, Iss. 1, 1960-03 ,pp. : 39-53

Cambridge University Press

Access to resources Recommend Favorite

The degree of the set of sentences of predicate provability logic that are true under every interpretation1

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 1, 1987-03 ,pp. : 165-171

Cambridge University Press

Access to resources Recommend Favorite

Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉

By  

The Journal of Symbolic Logic, Vol. 36, Iss. 4, 1971-12 ,pp. : 607-609

Cambridge University Press

Access to resources Recommend Favorite

Open sentences and the induction axiom1

By  

The Journal of Symbolic Logic, Vol. 23, Iss. 1, 1958-03 ,pp. : 7-12

Cambridge University Press

Access to resources Recommend Favorite

Horn sentences in identity theory 1

By  

The Journal of Symbolic Logic, Vol. 24, Iss. 4, 1959-12 ,pp. : 306-310

Cambridge University Press

Access to resources Recommend Favorite