Hostname: page-component-7c8c6479df-fqc5m Total loading time: 0 Render date: 2024-03-29T22:52:51.105Z Has data issue: false hasContentIssue false

REPRESENTING EMBEDDABILITY AS SET INCLUSION

Published online by Cambridge University Press:  01 October 1998

MENACHEM KOJMAN
Affiliation:
Department of Mathematics and Computer Science, Ben Gurion University of the Negev, Beer Sheva 84 105, Israel
Get access

Abstract

A few steps are made towards a representation theory of embeddability among uncountable graphs. A class of graphs is defined by forbidding some countable configurations which are related to the graph's end-structure. Using uncountable combinatorics, a representation theorem for embeddability in this class is proved, which asserts the existence of a surjective homomorphism from the relation of embeddability over isomorphism types of regular cardinality λ>[Nfr ]1 onto set inclusion over all subsets of reals or cardinality λ or less. As corollaries we obtain: (1) the complexity of the class in every regular uncountable λ>[Nfr ]1 is at least

formula here

(2) a characterisation of graphs in the class for which some invariant of the graph has to be inherited by one of fewer than λ subgraphs whose union covers G. Some continuity properties of the homomorphism in the representation theorem are explored and are used to extend the first corollary to all singular cardinals below the first fixed point of second order. The first corollary shows that, contrary to what Shelah has shown for the class of all graphs, the relations of embeddability in the class under discussion is not independent of negations of the generalised continuum hypothesis.

Type
Notes and Papers
Copyright
The London Mathematical Society 1998

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.)