×

zbMATH — the first resource for mathematics

Rigid relations on constructive models. (English. Russian original) Zbl 1197.03039
Dokl. Math. 65, No. 3, 363-364 (2002); translation from Dokl. Akad. Nauk 384, No. 3, 302-303 (2002).
MSC:
03C57 Computable structure theory, computable model theory
03D45 Theory of numerations, effectively presented structures
PDF BibTeX XML Cite