Abstract
We show that for no chain C there is a monadic-second order interpretation of the full binary tree in C.
Citation
Alexander Rabinovich. "The full binary tree cannot be interpreted in a chain." J. Symbolic Logic 75 (4) 1489 - 1498, December 2010. https://doi.org/10.2178/jsl/1286198158
Information
Published: December 2010
First available in Project Euclid: 4 October 2010
zbMATH: 1211.03021
MathSciNet: MR2767980
Digital Object Identifier: 10.2178/jsl/1286198158
Rights: Copyright © 2010 Association for Symbolic Logic