Refined hierarchy of formulas

DOI10.1007/BF01980251MaRDI QIDQ1803026zbMATH OpenOpenAlexFDO

Authors Victor Selivanov

Publication date 29 June 1993

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01980251

zbMATH Keywords

modelsindex setshierarchy of setsquantifier alternationshierarchy of formulashierarchy of predicate logic

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55)

Recommendations

• scientific article; zbMATH DE number 956483
• Arity and alternation: a proper hierarchy in higher order logics
• A hierarchy of propositional Horn formuls
• Foundations of Information and Knowledge Systems
• An arithmetical hierarchy in propositional dynamic logic

Cited in

(2)

• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchy of regular \(\omega\)-languages

This page was built for publication: Refined hierarchy of formulas

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