On vectorizations of unary generalized quantifiers

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 wi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Archive for mathematical logic 2012-05, Vol.51 (3-4), p.241-255
1. Verfasser:	Luosto, Kerkko
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Archives Complexity Logic Mathematical analysis Mathematical logic Mathematical Logic and Foundations Mathematical models Mathematics Mathematics and Statistics Syntax
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!