The full binary tree cannot be interpreted in a chain

Alexander Rabinovich

doi:10.2178/jsl/1286198158

The full binary tree cannot be interpreted in a chain

Alexander Rabinovich^*

^*Corresponding author for this work

School of Computer Science

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

We show that for no chain C there is amonadic-second order interpretation of the full binary tree in C.

Original language	English
Pages (from-to)	1489-1498
Number of pages	10
Journal	Journal of Symbolic Logic
Volume	75
Issue number	4
DOIs	https://doi.org/10.2178/jsl/1286198158
State	Published - Dec 2010

Access to Document

10.2178/jsl/1286198158

Cite this

@article{d9ee6ce87eeb4c4b9650e08ab6dba419,

title = "The full binary tree cannot be interpreted in a chain",

abstract = "We show that for no chain C there is amonadic-second order interpretation of the full binary tree in C.",

author = "Alexander Rabinovich",

year = "2010",

month = dec,

doi = "10.2178/jsl/1286198158",

language = "אנגלית",

volume = "75",

pages = "1489--1498",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - The full binary tree cannot be interpreted in a chain

AU - Rabinovich, Alexander

PY - 2010/12

Y1 - 2010/12

N2 - We show that for no chain C there is amonadic-second order interpretation of the full binary tree in C.

AB - We show that for no chain C there is amonadic-second order interpretation of the full binary tree in C.

UR - http://www.scopus.com/inward/record.url?scp=78951474674&partnerID=8YFLogxK

U2 - 10.2178/jsl/1286198158

DO - 10.2178/jsl/1286198158

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:78951474674

SN - 0022-4812

VL - 75

SP - 1489

EP - 1498

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 4

ER -

The full binary tree cannot be interpreted in a chain

Abstract

Access to Document

Other files and links

Fingerprint

Cite this