Matrix hierarchies of first-order languages and their applications

DOI10.1007/BF01978830zbMath0781.03012OpenAlexW2076636257MaRDI QIDQ1803010

Yu. M. Vazhenin

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/bf01978830

zbMATH Keywords

hierarchyfirst-order languagesinfinite matricesr.e. degree of unsolvabilitytheories with subtheories of given Turing degreesvariety of all semigroups

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Undecidability and degrees of sets of sentences (03D35) Classical first-order logic (03B10) Recursively (computably) enumerable sets and degrees (03D25) Basic properties of first-order languages and structures (03C07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Matrix hierarchies of first-order languages and their applications