Intermediate Predicate Logics Determined by Ordinals

Pierluigi Minari, Mitio Takano, Hiroakira Ono. Intermediate Predicate Logics Determined by Ordinals. Journal of Symbolic Logic, 55(3):1099-1124, 1990.

Abstract

Abstract is missing.