1
FO-рівномірний AC0 з деяким присудком
Моє запитання щодо теорії кінцевих моделей / описової складності, так ЖO ( R )FO(R)FO(R) означатиме "перший порядок над кінцевими двійковими словами, використовуючи предикати Rs та одинарний предикат P true на позиції 1 у слові". Я хотів би знати, чи існують якісь характеристики ЖO ( < , R )FO(<,R)FO(<,R) з R …