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:

    There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.
    Katharine Fullerton Gerould (1879–1944)

    She has problems with separation; he has trouble with unity—problems that make themselves felt in our relationships with our children just as they do in our relations with each other. She pulls for connection; he pushes for separateness. She tends to feel shut out; he tends to feel overwhelmed and intruded upon. It’s one of the reasons why she turns so eagerly to children—especially when they’re very young.
    Lillian Breslow Rubin (20th century)