Switch to: References

Add citations

You must login to add citations.
  1. On vectorizations of unary generalized quantifiers.Kerkko Luosto - 2012 - Archive for Mathematical Logic 51 (3-4):241-255.
    Vectorization of a class of structures is a natural notion in finite model theory. Roughly speaking, vectorizations allow tuples to be treated similarly to elements of structures. The importance of vectorizations is highlighted by the fact that if the complexity class PTIME corresponds to a logic with reasonable syntax, then it corresponds to a logic generated via vectorizations by a single generalized quantifier (Dawar in J Log Comput 5(2):213–226, 1995). It is somewhat surprising, then, that there have been few systematic (...)
    Direct download (3 more)  
    Export citation