Universal graph powerset

Abstract

Abstract In this paper we define a series of B-graphs. A powerset of the limit graph of this series is a universal object in the category of finite simple graphs. The constructed graph is countable and has several pleasant model theoretic properties as well as famous Rado graph.