Structural properties of computable classes of contructive models

DOI10.1007/BF01978382zbMath0654.03024MaRDI QIDQ1108262

V. P. Dobritsa

Publication date: 1987

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

zbMATH Keywords

finite modelsindex setsarithmetical complexityarithmetical hierarchycomputable indexingconstructivizationeffectively presented models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A universal semigroup

This page was built for publication: Structural properties of computable classes of contructive models