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:
“We can’t nourish our children if we don’t nourish ourselves.... Parents who manage to stay married, sane, and connected to each other share one basic characteristic: The ability to protect even small amounts of time together no matter what else is going on in their lives.”
—Ron Taffel (20th century)
“A powerful idea communicates some of its strength to him who challenges it.”
—Marcel Proust (1871–1922)