Algorithmic problems and hierarchies of first-order languages

DOI10.1007/BF01980240zbMath0661.03005MaRDI QIDQ1112803

Yu. M. Vazhenin

Publication date: 1987

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

zbMATH Keywords

algebraic systemsalgorithmic problemrecursive hierarchiescritical theorieselementary language of finite signature

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Hierarchies of computability and definability (03D55)

Cites Work

• Critical theories
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algorithmic problems and hierarchies of first-order languages