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:
“We of the sinking middle class ... may sink without further struggles into the working class where we belong, and probably when we get there it will not be so dreadful as we feared, for, after all, we have nothing to lose but our aitches.”
—George Orwell (1903–1950)
“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)