PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2002 | 171 | 3 | 197-211
Tytuł artykułu

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

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The elementary theory of ⟨α;×⟩, where α is an ordinal and × denotes ordinal multiplication, is decidable if and only if $α < ω^{ω}$. Moreover if $|_{r}$ and $|_{l}$ respectively denote the right- and left-hand divisibility relation, we show that Th $⟨ω^{ω^{ξ}};|_{r}⟩$ and Th $⟨ω^{ξ};|_{l}⟩$ are decidable for every ordinal ξ. Further related definability results are also presented.
Słowa kluczowe
Twórcy
autor
  • LACL, Département d'Informatique, Faculté des Sciences et Technologie, 61 avenue du Général de Gaulle, 94010 Créteil Cedex, France
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm171-3-1
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.