A Uniform One-Dimensional Fragment with Alternation of Quantifiers

Emanuel Kieroński

The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment of first-order logic to contexts involving…