Capturing relativized complexity classes with Lindström quantifiers

MaRDI QIDQ2702579zbMATH OpenFDO

Authors Johann A. Makowsky

Publication date 3 September 2001

zbMATH Keywords

abstract model theorycomplexity classesdescriptive complexity theoryLindström quantifiersordered structures

Mathematics Subject Classification ID

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

Recommendations

• Capturing complexity classes with Lindström quantifiers
• scientific article; zbMATH DE number 1272994
• scientific article; zbMATH DE number 1254648
• scientific article; zbMATH DE number 1555186
• scientific article; zbMATH DE number 1453080

Cited in

(7)

• scientific article; zbMATH DE number 1272994 (Why is no real title available?)
• Capturing Relativized Complexity Classes without Order
• scientific article; zbMATH DE number 1555186 (Why is no real title available?)
• scientific article; zbMATH DE number 1841815 (Why is no real title available?)
• Capturing complexity classes with Lindström quantifiers
• Logics capturing relativized complexity classes uniformly
• My writing

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)