I would like to know if there exists a smooth structure on the product R4 × [0, 1]$\mathbb{R}^4 \times [0, 1]$ of euclidean 4$4$-space R4$\mathbb{R}^4$ and the unit interval [0, 1]$[0, 1]$, such that for any s ≠ t$s \neq t$ in [0, 1]$[0, 1]$ the induced smooth structures on R4 × {s}$\mathbb{R}^4 \times \{s\}$ and R4 × {t}$\mathbb{R}^4 \times \{t\}$ are non-diffeomorphic.
The idea is to realize at least part of the continuum of distinct smooth structures on R4$\mathbb{R}^4$ as a topological continuum.