Geodesic
Decidability and definability results related to the elementary theory of ordinal multiplication
Alexis Bès1
1 LACL, Département d'Informatique Faculté des Sciences et Technologie 61 avenue du Général de Gaulle 94010 Créteil Cedex, France
Fundamenta Mathematicae, Tome 171 (2002) no. 3, pp. 197-211

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

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.
DOI : 10.4064/fm171-3-1
Keywords: elementary theory langle alpha times rangle where alpha ordinal times denotes ordinal multiplication decidable only alpha omega omega moreover respectively denote right left hand divisibility relation nbsp langle omega omega mid rangle nbsp langle omega mid rangle decidable every ordinal further related definability results presented

Alexis Bès 1

1 LACL, Département d'Informatique Faculté des Sciences et Technologie 61 avenue du Général de Gaulle 94010 Créteil Cedex, France 
@article{10_4064_fm171_3_1,
     author = {Alexis B\`es},
     title = {Decidability and definability results
 related to the elementary theory of ordinal multiplication},
     journal = {Fundamenta Mathematicae},
     pages = {197--211},
     publisher = {mathdoc},
     volume = {171},
     number = {3},
     year = {2002},
     doi = {10.4064/fm171-3-1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm171-3-1/}
}
TY  - JOUR
AU  - Alexis Bès
TI  - Decidability and definability results
 related to the elementary theory of ordinal multiplication
JO  - Fundamenta Mathematicae
PY  - 2002
SP  - 197
EP  - 211
VL  - 171
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm171-3-1/
DO  - 10.4064/fm171-3-1
LA  - en
ID  - 10_4064_fm171_3_1
ER  - 
%0 Journal Article
%A Alexis Bès
%T Decidability and definability results
 related to the elementary theory of ordinal multiplication
%J Fundamenta Mathematicae
%D 2002
%P 197-211
%V 171
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm171-3-1/
%R 10.4064/fm171-3-1
%G en
%F 10_4064_fm171_3_1
Alexis Bès. Decidability and definability results
 related to the elementary theory of ordinal multiplication. Fundamenta Mathematicae, Tome 171 (2002) no. 3, pp. 197-211. doi: 10.4064/fm171-3-1

Cité par Sources :