The full binary tree cannot be interpreted in a chain

Alexander Rabinovich*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

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

Original languageEnglish
Pages (from-to)1489-1498
Number of pages10
JournalJournal of Symbolic Logic
Volume75
Issue number4
DOIs
StatePublished - Dec 2010

Fingerprint

Dive into the research topics of 'The full binary tree cannot be interpreted in a chain'. Together they form a unique fingerprint.

Cite this