2 problems

The automorphism-group characterization conjecture. Quadratic Boolean bent functions can be characterized by 2-transitivity of one of the following automorphism groups:

Let $T^p_{m,n}$ and $T^c_{m,n}$ denote the theories of generic partial and complete $(m,n)$-incidence structures, respectively. Theorem (a) states that if every finite model of…