Logic Without Arithmetical Relations
Let the successor relation, succ, be a binary relation such that is true if and only if .
Over first order logic, succ is strictly less expressive than <, which is less expressive than +, which is less expressive than bit. + and are as expressive as bit.
Read more about this topic: FO (complexity)
Famous quotes containing the word relations:
“Subject the material world to the higher ends by understanding it in all its relations to daily life and action.”
—Ellen Henrietta Swallow Richards (1842–1911)