Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Recursive Model Theory, Stud. Log. Found. Math;YL Ershov,1998
2. Yu. L. Ershov, V. G. Puzarenko, and A. I. Stukachev, “ $$ \mathbb{HF} $$ -computability,” in Computability in Context. Computation and Logic in the Real World, S. B. Cooper and A. Sorbi (eds.), World Scientific, London (2011), pp. 169-242.
3. Enc. Math. Appl;W Hodges,1993
4. S. S. Goncharov and Yu. L. Ershov, Constructive Models, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
5. B. F. Csima, V. S. Harizanov, R. Miller, and A. Montalban, “Computability of Fraïsse limits,” J. Symb. Log., 76, No. 1, 66-93 (2011).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On the “Heap” problem;Russian Journal of Mathematical Physics;2019-04