Correlation of some notions of constructive model theory

MaRDI QIDQ3363696zbMATH OpenFDO

Authors Valery Plisko

Publication date 1991

zbMATH Keywords

constructive theoryenumerated modelfirst-order predicate calculus with constructive logical connectivesgeneralized \(\sigma\)-model

Mathematics Subject Classification ID

Properties of classes of models (03C52) Computable structure theory, computable model theory (03C57) Metamathematics of constructive systems (03F50)

Cited in

(4)

• scientific article; zbMATH DE number 4160680 (Why is no real title available?)
• scientific article; zbMATH DE number 16881 (Why is no real title available?)
• scientific article; zbMATH DE number 58130 (Why is no real title available?)
• scientific article; zbMATH DE number 2099534 (Why is no real title available?)

This page was built for publication: Correlation of some notions of constructive model theory

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