Of central importance in nonlinear filtering theory is the classification o
f finite-dimensional estimation algebras, through which we can construct re
cursive filters. In this paper, we classify all t-dimensional estimation al
gebras, t less than or equal to 4, for arbitrary state-space dimension.