RUS
ENG
Full version
JOURNALS
// Algebra i logika
// Archive
Algebra Logika,
1973
Volume 12,
Number 2,
Pages
211–219
(Mi al1378)
This article is cited in
1
paper
Every recursively enumerable extension of a theory of linear order has a constructive model
M. G. Peretyat'kin
UDC:
517.15
Received: 19.12.1972
Fulltext:
PDF file (363 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (363 kB)