Ranks and Approximations for Families of Ordered Theories
摘要
Abstract
Rank values for various families of ordered theories are described as depending on the languages under consideration; a description of