Refined hierarchy of formulas

DOI10.1007/BF01980251zbMath0778.03012OpenAlexW2008977977MaRDI QIDQ1803026

Victor L. 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)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item