Computability of some subclasses of the computable class of constructive models

DOI10.1007/BF00971491zbMATH Open0716.03029MaRDI QIDQ752697FDOQ752697

Authors: V. P. Dobritsa 

Publication date: 1989

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

constructive modelscomputable indexinglocal cone

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?)

Cited In (2)

• Computable classes of constructive models with non-limit-equivalent indexations
• Computability and universal determinability of negatively representable models

This page was built for publication: Computability of some subclasses of the computable class of constructive models

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