Effective choice of constructivizations and recursive consistency of problems on constructive models

DOI10.1007/BF02259853zbMath0790.03038MaRDI QIDQ2366356

Yu. G. Ventsov

Publication date: 29 June 1993

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

Full work available at URL: https://eudml.org/doc/187595

zbMATH Keywords

recursive modelconstructivizationsproblem of effective choice

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Autostability of models
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees

This page was built for publication: Effective choice of constructivizations and recursive consistency of problems on constructive models