Seven Trees in One

Details Seven Trees in One Seven Trees in One

1994-05-20

arxiv.org/abs/math/9405205v1

Mathematics

Logic

Scientific paper

Following a remark of Lawvere, we explicitly exhibit a particularly elementary bijection between the set T of finite binary trees and the set T^7 of seven-tuples of such trees. "Particularly elementary" means that the application of the bijection to a seven-tuple of trees involves case distinctions only down to a fixed depth (namely four) in the given seven-tuple. We clarify how this and similar bijections are related to the free commutative semiring on one generator X subject to X=1+X^2. Finally, our main theorem is that the existence of particularly elementary bijections can be deduced from the provable existence, in intuitionistic type theory, of any bijections at all.

Affiliated with

Also associated with

No associations

Rating

Seven Trees in One does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Seven Trees in One, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Seven Trees in One will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-576130