# Complexity class that is the set of languages expressible by first-order logic

PH is the complexity class that is the set of languages expressible by second-order logic. If so, is there any complexity class that is the set of languages expressible by first-order logic?

It seems likely that R is the complexity class that is the set of languages expressible by first-order logic, but I am not really sure.

-
Did you check the Wikipedia page on Descriptive complexity theory? –  Yuval Filmus May 9 '12 at 1:25
@YuvalFilmus no.. and I got an answer! Thanks for help. –  user2346 May 9 '12 at 1:29
First-order logic defines the class FO, corresponding to $\mathsf{AC}^0$, the languages recognized by polynomial-size circuits of bounded depth, which equals the languages recognized by a concurrent random access machine in constant time.