×

zbMATH — the first resource for mathematics

Über die Numerierung saturierter und homogener Modelle. (Russian) Zbl 0441.03016

MSC:
03D45 Theory of numerations, effectively presented structures
03C99 Model theory
03C50 Models with special properties (saturated, rigid, etc.)
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite