๐-universal finite graphs
๐-universal finite graphs
This paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics.The main results of the paper, which are due to Shelah, establish that the class of k-universal graphs is not definable by an โฆ