Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

Oskar Fiuk, Emanuel Kieronski

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