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:
“It is easier to move rivers and mountains than to change a person’s basic nature.”
—Chinese proverb.
“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)