Theory of relations. Transl. from the French by P. Clote

Publication date: 1986

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

orbits isomorphisms permutation groups bounds age chains trees barriers richness relational systems Ramsey theorems embeddability of orderings inexhaustibility

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Enumerative combinatorics (05A99) Relational systems, laws of composition (08A02) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items (95)

Generalized pigeonhole properties of graphs and oriented graphs ⋮ Classes of structures and their generic limits ⋮ Automaticity of ordinals and of homogeneous graphs ⋮ In praise of homomorphisms ⋮ On the Ramsey Property of Families of Graphs ⋮ Data flow analysis from capability lists, with application to RBAC ⋮ Generalized varieties ⋮ Equivalence between Fraïssé's conjecture and Jullien's theorem ⋮ Skeletons on congruence distributive varieties of algebras ⋮ On 2-Homogeneity of Monounary Algebras ⋮ Mediating secure information flow policies ⋮ Minimal universal and dense minor closed classes ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ Complete congruences on topologies and down-set lattices ⋮ The metamathematics of scattered linear orderings ⋮ Infinite distributive laws versus local connectedness and compactness properties ⋮ A chain decomposition theorem ⋮ Process semantics of general inhibitor nets ⋮ On variants of \(o\)-minimality ⋮ Well-quasi-order of relabel functions ⋮ Une extension d'un théorème de P. Jullien sur les âges de mots ⋮ Posets of copies of countable scattered linear orders ⋮ Partitions and indivisibility properties of countable dimensional vector spaces ⋮ Vaught's conjecture for monomorphic theories ⋮ Handling infinitely branching well-structured transition systems ⋮ Pairs of orthogonal countable ordinals ⋮ Polish topologies on endomorphism monoids of relational structures ⋮ On the image set and reversibility of shift morphisms over discrete alphabets ⋮ Ranks, spectra and their dynamics for families of constant expansions of theories ⋮ Infinitary Noetherian constructions II. Transfinite words and the regular subword topology ⋮ Nash equilibria and values through modular partitions in infinite games ⋮ Set-homogeneous directed graphs ⋮ Hereditary classes of ordered binary structures ⋮ Set‐homogeneous hypergraphs ⋮ Prechains and self duality ⋮ RETRACTIONS OF REVERSIBLE STRUCTURES ⋮ A few characterizations of topological spaces with no infinite discrete subspace ⋮ Homomorphisms and amalgamation ⋮ Ramsey classes of topological and metric spaces ⋮ Orbit-equivalent infinite permutation groups. ⋮ Unnamed Item ⋮ Homogeneous 2-partite digraphs ⋮ Universal homogeneous event structures and domains ⋮ Splittings and Ramsey properties of permutation classes ⋮ Recent Progress on Well-Quasi-ordering Graphs ⋮ Indivisible ultrametric spaces ⋮ The oscillation stability problem for the Urysohn sphere: a combinatorial approach ⋮ Ramsey-type properties of relational structures ⋮ La reconstruction au sens de Ulam de certaines multirelations binaires. (The reconstruction in Ulam's sense of some binary multirelations) ⋮ Infinite lexicographic products ⋮ The age of a relational structure ⋮ Structure of concurrency ⋮ A proof of a conjecture of Sabidussi on graphs idempotent under the lexicographic product ⋮ Random preorders and alignments ⋮ The modular decomposition of countable graphs. Definition and construction in monadic second-order logic ⋮ Countable connected-homogeneous graphs ⋮ The morphology of infinite tournaments; application to the growth of their profile ⋮ Directed graphs and boron trees ⋮ Sandwiches of ages ⋮ Deleting string rewriting systems preserve regularity ⋮ Copies of the random graph ⋮ The minimal non-\((\leqslant k)\)-reconstructible relations ⋮ Partitions and permutations ⋮ Relational structures having finitely many full-cardinality restrictions ⋮ Comeagre conjugacy classes and free products with amalgamation ⋮ \(\alpha\)-extendable paths in infinite graphs ⋮ Universal partial order represented by means of oriented trees and other simple graphs ⋮ \((-2)\)-monohemimorphic graphs ⋮ Equality of graphs up to complementation ⋮ Canonical forms of shift-invariant maps on \([\mathbb N^{\infty}\)] ⋮ On k-homogeneous posets and graphs ⋮ Inversions in tournaments ⋮ Foundations of BQO Theory ⋮ WQO dichotomy for 3-graphs ⋮ Partially-2-Homogeneous Monounary Algebras ⋮ \(k\)-CS-transitive infinite graphs ⋮ Inexhaustible homogeneous structures ⋮ An estimate on the norm of the product of infinite block operator matrices ⋮ Hypomorphy of graphs up to complementation ⋮ Unnamed Item ⋮ Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures ⋮ On Scott's thesis for domains of information and well-quasi-orderings ⋮ Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups ⋮ Intuitionism: an inspiration? ⋮ The indivisibility of the homogeneous \(K_ n\)-free graphs ⋮ Unnamed Item ⋮ Chain intersection closures ⋮ All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms) ⋮ Edge partitions of the countable triangle free homogeneous graph ⋮ Constraint Satisfaction Problems with Infinite Templates ⋮ Unnamed Item ⋮ Almost Every Domain is Universal ⋮ La 5-reconstructibilité et l'indécomposabilité des relations binaires. (The 5-reconstructibility and indecomposability of binary relations) ⋮ On modules related to McCoy modules ⋮ Finite presentation of homogeneous graphs, posets and Ramsey classes

This page was built for publication: Theory of relations. Transl. from the French by P. Clote