scientific article; zbMATH DE number 16546

zbMATH Open0737.03019MaRDI QIDQ3973232FDOQ3973232

V. P. Dobritsa

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• [[:Publication:3775536|Title not available (Why is that?)]]
• [[:Publication:4735182|Title not available (Why is that?)]]
• [[:Publication:3322080|Title not available (Why is that?)]]
• Conditions of effective infinity for the set of computable indexings of a class of constructive models
• [[:Publication:4875121|Title not available (Why is that?)]]

zbMATH Keywords

computable numberingrecursive modelenumerable subclass of computable class

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Effective choice of constructivizations and recursive consistency of problems on constructive models
• The number of computable indexations of finite classes of constructive models

This page was built for publication:

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