Publisher
Springer International Publishing
Reference16 articles.
1. Morozov, A.S., Korovina, M.V.: On
$$\Sigma $$
-definability of countable structures over real numbers, complex numbers, and quaternions. Algebra Logic 47(3), 193–209 (2008)
2. Barwise, J.: Admissible Sets and Structures. Springer, Heidelberg (1975)
3. Ershov, Y.L.: Definability and Computability. Plenum Publ. Co., New York (1996)
4. Ershov, Y.L.:
$$\Sigma $$
-definability of algebraic structures. In: Studies in Logic and Foundations of Mathematics, vol. 1, pp. 235–260. Elsevier, Amsterdam (1998)
5. Korovina, M.V.: Generalized computability of functions on the reals. Vychislitel’nye Systemi (Computing Systems) 133, 38–68 (1990). In Russian