Finite Model Theory - Basic Challenges - Characterisation of A Class of Structures

Characterisation of A Class of Structures

Is a Language L expressive enough to describe exactly those finite structures that have certain property P in common (up to isomorphy)?

Read more about this topic:  Finite Model Theory, Basic Challenges

Famous quotes containing the words class and/or structures:

    There is a struggle between the Oriental and the Occidental in every nation; some who would be forever contemplating the sun, and some who are hastening toward the sunset. The former class says to the latter, When you have reached the sunset, you will be no nearer to the sun. To which the latter replies, But we so prolong the day.
    Henry David Thoreau (1817–1862)

    If there are people who feel that God wants them to change the structures of society, that is something between them and their God. We must serve him in whatever way we are called. I am called to help the individual; to love each poor person. Not to deal with institutions. I am in no position to judge.
    Mother Teresa (b. 1910)