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 are the party of all labor.
The whole earth shall be ours to share
And every race and craft our neighbor.
No idle class shall linger there
Like vultures on the wealth we render
From field and factory, mill and mine.
Tomorrow’s sun will rise in splendor
And light us till the end of time.”
—Eugène Pottier (1816–1887)
“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)