scientific article; zbMATH DE number 3561335

MaRDI QIDQ4133972zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 1977

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other classical first-order model theory (03C68)

Cited in

(3)

• Effectively infinite classes of weak constructivizations of models
• Computability of the set of computable indexing schemes of the class of constructible models
• Complexity of the index set of a constructive model

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 Q4133972)