Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "de Souza, Edelcio G." wg kryterium: Wszystkie pola


Wyświetlanie 1-1 z 1
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ł
    Wyświetlanie 1-1 z 1

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies