Decidability and definability results related to the elementary theory of ordinal multiplication

Volume 171 / 2002

Alexis Bès Fundamenta Mathematicae 171 (2002), 197-211 MSC: 03E10, 03B25. DOI: 10.4064/fm171-3-1

Abstract

The elementary theory of $\langle {\alpha ; \times } \rangle $, where $\alpha $ is an ordinal and $\times $ denotes ordinal multiplication, is decidable if and only if $\alpha < \omega ^{\omega }$. Moreover if $|_r$ and $|_l$ respectively denote the right- and left-hand divisibility relation, we show that Th $\langle {\omega ^{\omega ^{\xi }}; \mid _r} \rangle $ and Th {$\langle {\omega ^{\xi }; \mid _l} \rangle $ are decidable for every ordinal $\xi $. Further related definability results are also presented.

Authors

  • Alexis BèsLACL, Département d'Informatique
    Faculté des Sciences et Technologie
    61 avenue du Général de Gaulle
    94010 Créteil Cedex, France
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image