A descriptive complexity approach to the linear hierarchy.
scientific article; zbMATH DE number 1965407
scientific article