Automorphisms and strongly invariant relations

Simple item page
dc.creatorBörner, Ferdinand
dc.creatorGoldstern, Martin
dc.creatorShelah, Saharon
dc.date2003-09-09
dc.date.accessioned2026-07-07T05:00:59Z
dc.date.available2026-07-07T05:00:59Z
dc.descriptionWe 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.
dc.description16 pages, LaTeX2e with eepic macros
dc.identifierhttps://arxiv.org/abs/math/0309165
dc.identifierhttp://arxiv.org/abs/math/0309165
dc.identifierAlgebra Universalis 84 No. 4 (2023) Paper No. 27, 23
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/68521
dc.subjectLogic
dc.subjectRings and Algebras
dc.subject03C50; 06A15
dc.titleAutomorphisms and strongly invariant relations
dc.typetext

Files

Collections

arXiv