Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. Stukachev A. I., “Σ-Definability in hereditarily finite superstructures and pairs of models,” Algebra and Logic, 43, No. 4, 258–270 (2004).
2. Ershov Yu. L., Definability and Computability [in Russian], Nauchnaya Kniga, Novosibirsk (1996).
3. Stukachev A. I., “Degrees of presentability of structures. II,” Algebra and Logic, 47, No. 1, 65–74 (2008).
4. Stud. Logic Found. Math.;Yu. L. Ershov,1998
5. Kierstead H. A. and Remmel J. B., “Indiscernibles and decidable models,” J. Symbolic Logic, 48, No. 1, 21–32 (1983).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Interval Extensions of Orders and Temporal Approximation Spaces;Siberian Mathematical Journal;2021-07
2. Approximation Spaces of Temporal Processes and Effectiveness of Interval Semantics;Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference;2020-07-29
3. Σ-Preorderings in $$ \mathbb{H}\mathbbm{F} $$(ℝ);Algebra and Logic;2019-11
4. Arithmetic Hierarchy and Enumeration Degrees;Algebraic Computability and Enumeration Models;2016-02-25