Journal
Article title
Content
Full texts:
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.
Publisher
Journal
Year
Volume
Physical description
Dates
published
2010
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2010-volume-45-article-2866