Finite Model Theory - Basic Challenges

Basic Challenges

Basically FMT is about the discrimination of structures, i.e. can a set of structures be uniquely described in a certain language. We will see that this can be achieved in FO for a single structures always, for a finite set of structures sometimes and for a set containing infinite structures never.

Read more about this topic:  Finite Model Theory

Famous quotes containing the words basic and/or challenges:

    “Insecurity, commonly regarded as a weakness in normal people, is the basic tool of the actor’s trade.”
    —Miranda Richardson (b. 1958)

    “A powerful idea communicates some of its strength to him who challenges it.”
    —Marcel Proust (1871–1922)