Automorphisms and strongly invariant relations

From MaRDI portal
Publication:6137589

DOI10.1007/S00012-023-00818-4arXivmath/0309165OpenAlexW2145144827MaRDI QIDQ6137589FDOQ6137589

Ferdinand Börner, S. Shelah, Martin Goldstern

Publication date: 4 September 2023

Published in: Algebra Universalis (Search for Journal in Brave)

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.


Full work available at URL: https://arxiv.org/abs/math/0309165





Cites Work



   Recommendations





This page was built for publication: Automorphisms and strongly invariant relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6137589)