Automorphisms and strongly invariant relations

Details Automorphisms and strongly invariant relations Automorphisms and strongly invariant relations

2003-09-09

arxiv.org/abs/math/0309165v1

Mathematics

Logic

16 pages, LaTeX2e with eepic macros

Scientific paper

We investigate characterizations of the Galois connection sInv-Aut between sets of finitary relations on a base set A and their automorphisms. In particular, for A=omega_1, we construct a countable set R of relations that is closed under all invariant operations on relations and under arbitray intersections, but is not closed under sInv(Aut(-)). Our structure (A,R) has an omega-categorical first order theory. A higher order definable well-order makes it rigid, but any reduct to a finite language is homogeneous.

Affiliated with

Also associated with

No associations

Rating

Automorphisms and strongly invariant relations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Automorphisms and strongly invariant relations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automorphisms and strongly invariant relations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-390615