Structural properties of computable classes of contructive models

DOI10.1007/BF01978382zbMATH Open0654.03024MaRDI QIDQ1108262FDOQ1108262

Authors: V. P. Dobritsa 

Publication date: 1987

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

zbMATH Keywords

index setsarithmetical hierarchyarithmetical complexityfinite modelscomputable indexingconstructivizationeffectively presented models

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A universal semigroup

Cited In (5)

• Title not available (Why is that?)
• Characteristic properties of equivalent structures in compositional models
• Effective choice of constructivizations and recursive consistency of problems on constructive models
• The parsimony principle for a class of model structures
• Structural properties for feasibly computable classes of type two

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

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