Definability in Infinitary Languages and Invariance by Automorphisms

Szczegóły
Opis

Tytuł:: Definability in Infinitary Languages and Invariance by Automorphisms
Autorzy:: Rodrigues, Alexandre A.M.
Filho, Ricardo C. Miranda
de Souza, Edelcio G.
Powiązania:: https://bibliotekanauki.pl/articles/1368480.pdf
Data publikacji:: 2010
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Źródło:: Reports on Mathematical Logic; 2010, 45; 119-133
0137-2904
2084-2589
Język:: polski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

Given a $\mathcal L_{\alpha\beta} ^E$-structure $E$, where $\mathcal L_{\alpha\beta} ^E$ is an infinitary language, we show that $\alpha$ and $\beta$ can be chosen in such way that every orbit of the group $G$ of automorphisms of $E$ is $\mathcal L_{\alpha\beta} ^E$-definable. It follows that two sequences of elements of the domain $D$ of $E$ satisfy the same set of $\mathcal L_{\alpha\beta}$-formulas if and only if they are in the same orbit of $G$.

Informacja

Powiązane pozycje