Characterisation of A Class of Structures
Is a Language L expressive enough to describe exactly those finite structures that have certain property P in common (up to isomorphy)?
Read more about this topic: Finite Model Theory, Basic Challenges
Famous quotes containing the words class and/or structures:
“Sometimes I think that idlers seem to be a special class for whom nothing can be planned, plead as one will with them—their only contribution to the human family is to warm a seat at the common table.”
—F. Scott Fitzgerald (1896–1940)
“The philosopher believes that the value of his philosophy lies in its totality, in its structure: posterity discovers it in the stones with which he built and with which other structures are subsequently built that are frequently better—and so, in the fact that that structure can be demolished and yet still possess value as material.”
—Friedrich Nietzsche (1844–1900)