1
일부 술어가있는 FO- 균일 AC0
제 질문은 유한 모델 이론 / 설명 적 복잡성에 관한 것이므로, 은 "술어 Rs와 단항 술어 P true를 사용하여 유한 이진 단어보다 1 차 단어 1의 위치"를 의미합니다.FO(R)FO(R)FO(R) 내가 알고 싶은, 어떤 caracterisation가 과 R 어떤 술어에 \ mathbb N ^ R 일부 연구 하시나요? 예를 들어 FO (<, +) …