Monadic second order definable relations on the binary tree

Journal of Symbolic Logic 52 (1):219-226 (1987)
  Copy   BIBTEX

Abstract

Let S2S [WS2S] espectively be the storn [weak] monadic second order theory of the binary tree T in the language of two successor functions. An S2S-formula whose free variables are just individual variables defines a relation on T (rather than on the power set of T). We show that S2S and WS2S define the same relations on T, and we give a simple characterization of these relations

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
21 (#631,231)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?