1
AC0 uniforme FO con alcuni predicati
La mia domanda riguarda la teoria dei modelli finiti / la complessità descrittiva, quindi significherà "primo ordine su parole binarie finite, usando i predicati Rs e un predicato unario P vero sulla posizione dell'1 nella parola".FO(R)FO(R)FO(R) Vorrei sapere, c'è qualche caratterizzazione di con R qualche predicato su N r per …