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:

    The further jazz moves away from the stark blue continuum and the collective realities of Afro-American and American life, the more it moves into academic concert-hall lifelessness, which can be replicated by any middle class showing off its music lessons.
    Imamu Amiri Baraka (b. 1934)

    The philosopher believes that the value of his philosophy lies in its totality, in its structure: posterity discovers it in the stones with which he built and with which other structures are subsequently built that are frequently better—and so, in the fact that that structure can be demolished and yet still possess value as material.
    Friedrich Nietzsche (1844–1900)