On correlation of some concepts in the constructive model theory
From MaRDI portal
Publication:1179647
zbMath0790.03037MaRDI QIDQ1179647
Publication date: 26 June 1992
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
constructive theoryenumerated modelfirst-order predicate calculus with constructive logical connectivesgeneralized \(\sigma\)-model
Metamathematics of constructive systems (03F50) Properties of classes of models (03C52) Computable structure theory, computable model theory (03C57)
Related Items (1)
This page was built for publication: On correlation of some concepts in the constructive model theory
