A full binary tree is a rooted tree where every node has either zero children or two children. My question is, how many non-isomorphic full binary trees are there, countably many or uncountably many?
Or more formally, what is the maximum cardinality a set can have if its elements are all full binary trees and any two elements are non-isomorphic?
There are $2^{\aleph_0}$ full binary trees up to isomorphism. This is obviously an upper bound, since every full binary tree is countable. To see that it can be achieved, given a binary tree $T$, consider the set $S\subseteq\mathbb{N}$ consisting of those $n$ such that every node in the $n$th level of $T$ has two children. It is easy to see that every subset $S\subseteq\mathbb{N}$ which contains $0$ can be realized by some full binary tree $T$, and so this gives $2^{\aleph_0}$ different isomorphism types of full binary trees.