scientific article; zbMATH DE number 1555183

MaRDI QIDQ4525283zbMATH OpenFDO

Authors Martin Grohe

Publication date 22 January 2001

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Hierarchies of computability and definability (03D55)

Recommendations

• Yet another hierarchy theorem
• Arity hierarchies
• scientific article; zbMATH DE number 873906
• A double arity hierarchy theorem for transitive closure logic
• Expressive equivalence of least and inflationary fixed-point logic

Cited in

(11)

• An arithmetical hierarchy in propositional dynamic logic
• Positive versions of polynomial time
• Bounded arity Datalog () queries on graphs
• A double arity hierarchy theorem for transitive closure logic
• Arity and alternation in second-order logic
• Arity and alternation: a proper hierarchy in higher order logics
• Arity hierarchies
• scientific article; zbMATH DE number 1670476 (Why is no real title available?)
• scientific article; zbMATH DE number 4174914 (Why is no real title available?)
• Yet another hierarchy theorem
• Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.

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