Definability in Infinitary Languages and Invariance by Automorphisms

Rodrigues, Alexandre A.M.; Filho, Ricardo C. Miranda; de Souza, Edelcio G.

Journal

Reports on Mathematical Logic

2010 | 45 |

Article title

Definability in Infinitary Languages and Invariance by Automorphisms

Authors

Alexandre A.M. Rodrigues , Ricardo C. Miranda Filho , Edelcio G. de Souza

Content

Full texts:

Download

Title variants

Languages of publication

Abstracts

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

Keywords

Publisher

[unknown2]

Journal

Reports on Mathematical Logic

Year

2010

Volume

Physical description

Dates

published

2010

online

07 - 07 - 2015

Contributors

author

Alexandre A.M. Rodrigues

author

Ricardo C. Miranda Filho

author

Edelcio G. de Souza

References

Document Type

Publication order reference

Identifiers

YADDA identifier

bwmeta1.element.ojs-issn-2084-2589-year-2010-volume-45-article-2866