An exotic R4 is called small if it can be smoothly embedded as an open subset of the standard R4.
Small exotic R4s can be constructed by starting with a non-trivial smooth 5-dimensional h-cobordism (which exists by Donaldson's proof that the h-cobordism theorem fails in this dimension) and using Freedman's theorem that the topological h-cobordism theorem holds in this dimension.