Representation of ideals of relational structures

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

Gábor Sági, Maurice Pouzet, Christian Delhommé, 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

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?)
• Title not available (Why is that?)
• 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

Cited In (5)

• COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS
• 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

Recommendations

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

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)