Intermediate Predicate Logics Determined by Ordinals
Minari, Pierluigi ; Takano, Mitio ; Ono, Hiroakira
J. Symbolic Logic, Tome 55 (1990) no. 1, p. 1099-1124 / Harvested from Project Euclid
For each ordinal $\alpha > 0, L(\alpha)$ is the intermediate predicate logic characterized by the class of all Kripke frames with the poset $\alpha$ and with constant domain. This paper will be devoted to a study of logics of the form $L(\alpha)$. It will be shown that for each uncountable ordinal of the form $\alpha + \eta$ with a finite or a countable $\eta (> 0)$, there exists a countable ordinal of the form $\beta + \eta$ such that $L(\alpha + \eta) = L(\beta + \eta)$. On the other hand, such a reduction of ordinals to countable ones is impossible for a logic $L(\alpha)$ if $\alpha$ is an uncountable regular ordinal. Moreover, it will be proved that the mapping $L$ is injective if it is restricted to ordinals less than $\omega^\omega$, i.e. $\alpha \neq \beta$ implies $L(\alpha) \neq L(\beta)$ for each ordinal $\alpha,\beta < \omega^\omega$.
Publié le : 1990-09-14
Classification: 
@article{1183743408,
     author = {Minari, Pierluigi and Takano, Mitio and Ono, Hiroakira},
     title = {Intermediate Predicate Logics Determined by Ordinals},
     journal = {J. Symbolic Logic},
     volume = {55},
     number = {1},
     year = {1990},
     pages = { 1099-1124},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743408}
}
Minari, Pierluigi; Takano, Mitio; Ono, Hiroakira. Intermediate Predicate Logics Determined by Ordinals. J. Symbolic Logic, Tome 55 (1990) no. 1, pp.  1099-1124. http://gdmltest.u-ga.fr/item/1183743408/