THE FULL BINARY TREE CANNOT BE INTERPRETED IN A CHAIN.

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

Bibliographic Details
Published in:	Journal of Symbolic Logic Vol. 75; no. 4; pp. 1489 - 1499
Main Author:	RABINOVICH, ALEXANDER
Format:	Article
Published:	Cambridge University Press Dec2010
Subjects:	Binary number system Computer arithmetic Mathematics Number systems Mathematical logic
Online Access:	View this record in EBSCOhost