Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
M. V. Korovina, “Generalized computability of functions on real numbers,” Vych. Sist., 133, 38–67 (1990). | 1990 | |||
10.1007/978-3-662-11035-5 | 1975 | |||
10.1525/9780520348097 | 1951 | |||
Yu. L. Ershov, “Σ-Definability of algebraic systems,” in Handbook of Recursive Mathematics, Vol. 1, Recursive Model Theory, Stud. Log. Found. Math., 138, Elsevier, Amsterdam (1998), pp. 235–260. | ||||
Yu. L. Ershov, V. G. Puzarenko, and A. I. Stukachev, “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. 173–248. |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
On Σ-presentations of the additive group of the real numbers | Mathematics and Theoretical Computer Science | 2024 | ||
On Σ-Definability Over Hereditarily Finite and List Superstructures | Journal of Mathematical Sciences | 2020 | ||
Σ-Preorderings in $$ \mathbb{H}\mathbbm{F} $$(ℝ) | Algebra and Logic |
| 2019 | |
On Mutual Definability of Operations on Fields | Siberian Mathematical Journal |
| 2019 | |
Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures | Algebra and Logic |
| 3 | 2018 |
Category | Category Repetition |
---|---|
Science: Mathematics | 9 |