Automorphisms and strongly invariant relations
Abstract
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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- September 2003
- DOI:
- 10.48550/arXiv.math/0309165
- arXiv:
- arXiv:math/0309165
- Bibcode:
- 2003math......9165B
- Keywords:
-
- Logic;
- Rings and Algebras;
- 03C50;
- 06A15
- E-Print:
- 16 pages, LaTeX2e with eepic macros