Page History

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Generalized quantifiers on finite models. New methods for establishing non-expressibility results. Descriptive complexity theory. Hierarchy results for finite models.

...