scientific article; zbMATH DE number 1500571

zbMATH Open0954.03035MaRDI QIDQ4501592FDOQ4501592

Authors: Anil K. Seth 

Publication date: 14 February 2001

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Large finite structures with few \(L^k\)-types
• Title not available (Why is that?)

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)