scientific article; zbMATH DE number 1500571

MaRDI QIDQ4501592zbMATH OpenFDO

Authors Anil K. Seth

Publication date 14 February 2001

zbMATH Keywords

finite structuresrelative expressive powerfixed point logicsPTIME quantifier

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Descriptive complexity and finite models (68Q19)

Recommendations

• Infinitary logic and inductive definability over finite structures
• scientific article; zbMATH DE number 408792
• Large finite structures with few \(L^k\)-types
• The expressive power of finitely many generalized quantifiers

Cited in

(2)

• scientific article; zbMATH DE number 1124068 (Why is no real title available?)
• Large finite structures with few \(L^k\)-types

This page was built for publication:

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