Full-text resources of PSJD and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

PL EN


Preferences help
enabled [disable] Abstract
Number of results
2010 | 45 |

Article title

Definability in Infinitary Languages and Invariance by Automorphisms

Content

Title variants

Languages of publication

PL

Abstracts

PL
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

PL

Publisher

Year

Volume

45

Physical description

Dates

published
2010
online
07 - 07 - 2015

References

Document Type

Publication order reference

Identifiers

YADDA identifier

bwmeta1.element.ojs-issn-2084-2589-year-2010-volume-45-article-2866
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.