Higher arity stability and the functional order property

A. Abd-Aldaim, G. Conant, C. Terry

The $k$-dimensional functional order property (${\text{FOP}}_k$) is a combinatorial property of a $(k+1)$-partitioned formula. This notion arose in work of Terry and Wolf, which iden…