Pierluigi Minari, Mitio Takano, Hiroakira Ono. Intermediate Predicate Logics Determined by Ordinals. Journal of Symbolic Logic, 55(3):1099-1124, 1990.
@article{MinariTO90, title = {Intermediate Predicate Logics Determined by Ordinals}, author = {Pierluigi Minari and Mitio Takano and Hiroakira Ono}, year = {1990}, tags = {logic}, researchr = {https://researchr.org/publication/MinariTO90}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {55}, number = {3}, pages = {1099-1124}, }