Representation of ideals of relational structures
Abstract
The \textit{age} of a relational structure of signature is the set of its finite induced substructures, considered up to isomorphism. This is an ideal in the poset consisting of finite structures of signature and ordered by embeddability. If the structures are made of infinitely many relations and if, among those, infinitely many are at least binary then there are ideals which do not come from an age. We provide many examples. We particularly look at metric spaces and offer several problems. We also provide an example of an ideal of isomorphism types of at most countable structures whose signature consists of a single ternary relation symbol. This ideal does not come from the set of isomorphism types of substructures of induced on the members of an ideal of sets. This answers a question due to R. Cusin and J.F. Pabion (1970).
Cite
@article{arxiv.math/0607725,
title = {Representation of ideals of relational structures},
author = {C. Delhomme and M. Pouzet and G. Sagi and N. Sauer},
journal= {arXiv preprint arXiv:math/0607725},
year = {2007}
}
Comments
18 pages