Computable classes of constructivizations for models of finite constructivizability type

DOI10.1007/BF00971397zbMath0860.03032OpenAlexW1997352289MaRDI QIDQ1335930

Sergei S. Goncharov

Publication date: 8 November 1994

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

Full work available at URL: https://doi.org/10.1007/bf00971397

zbMATH Keywords

\(n\)-completenessconstructivization\(n\)-constructivizable structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

Effectively infinite classes of weak constructivizations of models

Cites Work

• Autostability of models
• Unnamed Item
• Unnamed Item

This page was built for publication: Computable classes of constructivizations for models of finite constructivizability type