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.

Detalles Bibliográficos
Publicado en:	Journal of Symbolic Logic Vol. 75; no. 4; pp. 1489 - 1499
Autor principal:	RABINOVICH, ALEXANDER
Formato:	Artículo
Publicado:	Cambridge University Press Dec2010
Materias:	Binary number system Computer arithmetic Mathematics Number systems Mathematical logic
Acceso en línea:	Ver este registro en EBSCOhost

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