Concepedia

On complete theories with a finite number of denumerable models

M. G. Peretyat’kin

Algebra and Logic · 1973 · 38 citations · 3 references

DOI

Concepts

References

3

Constructive models of complete solvable theories

A. T. Nurtazin · Algebra and Logic · 1973 · 65 citations

, , +11

Strongly constructive models and numerations of the Boolean algebra of recursive sets

M. G. Peretyat’kin · Algebra and Logic · 1971 · 33 citations

, , +15

Some aspects of generalized computability

L. N. Pobedin · Algebra and Logic · 1973 · 13 citations

, , +9