A list of arithmetical structures complete with respect to the first-order definability.

Published in: Theor. Comput. Sci. (2001)

Keyphrases

first order logic
higher order
fixed point
finite model theory
databases
data mining
artificial intelligence
knowledge representation
propositional logic
complex structures
linear temporal logic