|
This article is cited in 1 scientific paper (total in 1 paper)
Every recursively enumerable extension of a theory of linear order
has a constructive model
M. G. Peretyat'kin
Received: 19.12.1972
Citation:
M. G. Peretyat'kin, “Every recursively enumerable extension of a theory of linear order
has a constructive model”, Algebra Logika, 12:2 (1973), 211–219
Linking options:
https://www.mathnet.ru/eng/al1378 https://www.mathnet.ru/eng/al/v12/i2/p211
|
Statistics & downloads: |
Abstract page: | 50 | Full-text PDF : | 15 |
|