Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-04T13:58:09.957Z Has data issue: false hasContentIssue false

The group of the countable universal graph

Published online by Cambridge University Press:  24 October 2008

J. K. Truss
Affiliation:
Department of Mathematics, Paisley College of Technology, Paisley PA 1 2BE

Extract

Let C be a set with at least two, and at most ℵ0, members, and for any set X let [X]2 denote the set of its 2-element subsets. If Γ is a countable set, and Fc is a function from [Γ]2 into C, then the structure Γc = (Γ, Fc) is called the countable universal C-coloured graph if the following condition is satisfied:

Whenever α is a map from a finite subset of Γ into C there is xεΓ–dom α such that (∀yεdom α) Fc {x, y} = α(y).

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1985

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Cameron, P. J.. Random structures, universal structures and permutation groups (hand-written notes).Google Scholar
[2]Chang, C. C. and Keisleb, H. J.. Model Theory (North-Holland, 1973).Google Scholar
[3]Pincus, D.. Two model-theoretic ideas in independence proofs. Fund. Math. 92 (1976), 113130.CrossRefGoogle Scholar
[4]Truss, J. K.. Finite axioms of choice. Annals of Math. Logic 6 (1973), 147176.CrossRefGoogle Scholar