We study the validity of the first-order zero-one law for the binomial
-partite
random graph in two settings: dense (the probability
of appearance of an edge is a constant) and sparse
(, where
is the
cardinality of each part of the graph). On the way, we prove that, for every rational
,
there exists a bipartite strictly balanced graph with density
.
Keywords
zero-one laws, random graphs, strictly balanced bipartite
graphs, first-order properties