The celebrated Erdős–Ko–Rado (EKR) theorem for Paley graphs of square order states that all maximum cliques are canonical in the sense that each maximum clique arises from the subfield construction. Recently, Asgarli and Yip extended this result to Peisert graphs and other Cayley graphs which are Peisert-type graphs with nice algebraic properties on the connection set. On the other hand, there are Peisert-type graphs for which the EKR theorem fails to hold. In this article, we show that the EKR theorem of Paley graphs extends to almost all pseudo-Paley graphs of Peisert-type. Furthermore, we establish the stability results of the same flavor.

We study the theory Tm,n of existentially closed incidence structures omitting the complete incidence structure Km,n, which can also be viewed as existentially closed Km,n-free bipartite graphs. In the case m = n = 2, this is the theory of existentially closed projective planes. We give an $\forall \exists$-axiomatization of Tm,n, show that Tm,n does not have a countable saturated model when m, n ≥ 2, and show that the existence of a prime model for T2,2 is equivalent to a longstanding open question about finite projective planes. Finally, we analyze model theoretic notions of complexity for Tm,n. We show that Tm,n is NSOP1, but not simple when m, n ≥ 2, and we show that Tm,n has weak elimination of imaginaries but not full elimination of imaginaries. These results rely on combinatorial characterizations of various notions of independence, including algebraic independence, Kim independence, and forking independence.

In Bachmann [Aufbau der Geometrie aus dem Spiegelungsbegriff, Die Grundlehren der mathematischen Wissenschaften, Bd. XCVI (Springer, Berlin–Göttingen–Heidelberg, 1959)], it was shown that a finite metric plane is a Desarguesian affine plane of odd order equipped with a perpendicularity relation on lines and that the converse is also true. Sherk [‘Finite incidence structures with orthogonality’, Canad. J. Math.19 (1967), 1078–1083] generalised this result to characterise the finite affine planes of odd order by removing the ‘three reflections axioms’ from a metric plane. We show that one can obtain a larger class of natural finite geometries, the so-called Bruck nets of even degree, by weakening Sherk’s axioms to allow noncollinear points.

J. Hayden [2] proved that, if a finite abelian group is a Cartesian group satisfying a certain "homogeneity condition", then it must be an elementary abelian group. His proof required the character theory of finite abelian groups. In this note we present a shorter, elementary proof of his result.

In this paper it is proved that a finite translation plane of order n ≡ 3 (mod 4) which contains an oval with the four point Pascalian property, or a finite dual translation plane of order n ≡ 3 (mod 4) which contains an oval with the four point Pascalian property, can be coordinatized by a commutative semifield.