scientific article; zbMATH DE number 873906

MaRDI QIDQ4876640zbMATH OpenFDO

Authors Uwe Bosse

Publication date 6 May 1996

zbMATH Keywords

countable ordersEhrenfeucht-Fraïssé gamefinite structuresfixed-point logicquantifier hierarchy

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Model theory of denumerable and separable structures (03C15) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 515730
• The expressive power of fixed-point logic with counting
• Fixed Point Logics

Cited in

(8)

• Fixpoint logics over hierarchical structures
• scientific article; zbMATH DE number 1302492 (Why is no real title available?)
• scientific article; zbMATH DE number 515730 (Why is no real title available?)
• Yet another hierarchy theorem
• scientific article; zbMATH DE number 1555183 (Why is no real title available?)
• Automata, Languages and Programming
• scientific article; zbMATH DE number 3304005 (Why is no real title available?)
• On the expressive power of monadic least fixed point logic

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 Q4876640)