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:
“Justice begins with the recognition of the necessity of sharing. The oldest law is that which regulates it, and this is still the most important law today and, as such, has remained the basic concern of all movements which have at heart the community of human activities and of human existence in general.”
—Elias Canetti (b. 1905)
“A powerful idea communicates some of its strength to him who challenges it.”
—Marcel Proust (1871–1922)