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:
“A kiss can be a comma, a question mark or an exclamation point. That’s basic spelling that every woman ought to know.”
—Mistinguett (1874–1956)
“The approval of the public is to be avoided like the plague. It is absolutely essential to keep the public from entering if one wishes to avoid confusion. I must add that the public must be kept panting in expectation at the gate by a system of challenges and provocations.”
—André Breton (1896–1966)