Capturing relativized complexity classes with Lindström quantifiers

zbMATH Open0967.03507MaRDI QIDQ2702579

Johann A. Makowsky

Publication date: 3 September 2001

zbMATH Keywords

ordered structurescomplexity classesdescriptive complexity theoryabstract model theoryLindström quantifiers

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Logic with extra quantifiers and operators (03C80) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19) Abstract model theory (03C95)

Related Items (1)

Logics capturing relativized complexity classes uniformly

This page was built for publication: Capturing relativized complexity classes with Lindström quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702579)