Cardinality and counting quantifiers on omega−automatic structures
We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logic expanded by the first-order quantifiers `there exist at most \\aleph_0 many', 'there exist finitely many...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2008
|