FO (complexity) - Logic Without Arithmetical Relations

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 words logic and/or relations:

    The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.
    Eva Figes (b. 1932)

    I have no wealthy or popular relations to recommend me.
    Abraham Lincoln (1809–1865)