2875 Kastner, Charles W. (2003) A hierarchy of languages, logics, and mathematical theories. [Preprint]