- 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
- Opis:
- 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$.
- Źródło:
-
Reports on Mathematical Logic; 2010, 45; 119-133
0137-2904
2084-2589 - Pojawia się w:
- Reports on Mathematical Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł