5 citations · 12 across the 8 of their papers we have counts for
1 paper · 1 filter
Emanuel Kieronski
We call a first-order formula one-dimensional if its every maximal block of existential (universal) quantifiers leaves at most one variable free. We consider the one-dimensional re…