Representation of ideals of relational structures

DOI10.1016/J.DISC.2008.02.010zbMATH Open1179.08001arXivmath/0607725OpenAlexW2049191074MaRDI QIDQ1024444FDOQ1024444

Authors: Christian Delhommé, Maurice Pouzet, Gábor Sági, Norbert Sauer 

Publication date: 17 June 2009

Published in: Discrete Mathematics (Search for Journal in Brave)

Abstract: The extit{age} of a relational structure $mathfrakA$ of signature $mu$ is the set $age(mathfrakA)$ of its finite induced substructures, considered up to isomorphism. This is an ideal in the poset $Omeg{a}_{m}u$ consisting of finite structures of signature $mu$ 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 $I$ 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 $ag{e}_{mathfrakI}(mathfrakA)$ of isomorphism types of substructures of $mathfrakA$ induced on the members of an ideal $mathfrakI$ of sets. This answers a question due to R. Cusin and J.F. Pabion (1970).

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

Recommendations

• The age of a relational structure
• Sandwiches of ages
• Countable structures of given age
• Ramsey-type properties of relational structures
• The number of infinite substructures
• COUNTING SIBLINGS IN UNIVERSAL THEORIES
• Ideals of nowhere Ramsey sets are isomorphic
• Partitions and indivisibility properties of countable dimensional vector spaces
• Age and weak indivisibility
• Homomorphism-Homogeneous Relational Structures

zbMATH Keywords

metric spaceage of a relational structurerepresentable ideal

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Structure theory of algebraic structures (08A05)

Cites Work

• Title not available (Why is that?)
• Model theory
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• Sandwiches of ages
• Divisibility of countable metric spaces
• On the existence of countable universal graphs
• Incidence structures and Stone-Priestley duality
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Computable structures in generic extensions
• Countable structures of given age
• The Robinson property and amalgamations of higher arities
• Embedding dualities for set partitions and for relational structures
• Title not available (Why is that?)
• Well-quasi-ordering and Embeddability of Relational Structures
• The age of a relational structure
• Sandwiches of ages

This page was built for publication: Representation of ideals of relational structures

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