1
Bazı yüklemli FO-üniform AC0
Benim sorum sonlu model teorisi / tanımlayıcı karmaşıklık hakkında, bu yüzden "sonlu ikili kelimeler üzerinde birinci sıra, Rs tahminlerini ve 1 kelimesinin pozisyonunda doğru olmayan tek bir yüklem P kullanarak" anlamına gelir.FO ( R )FÖ(R,)FO(R) Bilmek istiyorum, bazı herhangi bir herhangi bir yüklem ile herhangi bir caracterisation var mı? Örneğin …