×

zbMATH — the first resource for mathematics

Strongly constructive models. (Russian. English summary) Zbl 0575.03024
The existence problem in constructive model theory is investigated. Basic results concerning the problem of finding strong constructivizations are given (without proofs), and some open problems are discussed.
MSC:
03C57 Computable structure theory, computable model theory
PDF BibTeX XML Cite