Definability in the monadic second-order theory of successor ¹

E-ISSN： 1943-5886|34|2|166-170

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.34, Iss.2, 1969-07, pp. : 166-170

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

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

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

Cambridge University Press

Access to resources Recommend Favorite

Decidability and undecidability of extensions of second (first) order theory of (generalized) successor ¹

The Journal of Symbolic Logic, Vol. 31, Iss. 2, 1966-06 ,pp. : 169-181

Cambridge University Press

Access to resources Recommend Favorite

Expressing cardinality quantifiers in monadic second-order logic over chains

The Journal of Symbolic Logic, Vol. 76, Iss. 2, 2011-06 ,pp. : 603-619

Cambridge University Press

Access to resources Recommend Favorite

First order quantifiers in monadic second order logic

The Journal of Symbolic Logic, Vol. 69, Iss. 1, 2004-03 ,pp. : 118-136

Cambridge University Press

Access to resources Recommend Favorite

On homogeneity and definability in the first-order theory of the Turing degrees1

The Journal of Symbolic Logic, Vol. 47, Iss. 1, 1982-03 ,pp. : 8-16

Cambridge University Press

Access to resources Recommend Favorite