Some presentations of the real number field-Reference-Cited by-同舟云学术

Some presentations of the real number field

Published:2012-03 Issue:1 Volume:51 Page:66-88
ISSN:0002-5232
Container-title:Algebra and Logic
language:en
Short-container-title:Algebra Logic

Author:

Morozov A. S.

Publisher

Springer Science and Business Media LLC

Subject

Logic,Analysis

Link

http://link.springer.com/content/pdf/10.1007/s10469-012-9171-z.pdf

Reference7 articles.

1. J. Barwise, Admissible Sets and Structures, Springer, Berlin (1975).

2. Yu. L. Ershov, Definability and Computability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).

3. 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.

4. M. V. Korovina, “Generalized computability of functions on real numbers,” Vych. Sist., 133, 38–67 (1990).

5. 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.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Σ-presentations of the additive group of the real numbers;Mathematics and Theoretical Computer Science;2024-04-15

2. On Σ-Definability Over Hereditarily Finite and List Superstructures;Journal of Mathematical Sciences;2020-04-11

3. On Mutual Definability of Operations on Fields;Siberian Mathematical Journal;2019-11

4. Σ-Preorderings in $$ \mathbb{H}\mathbbm{F} $$(ℝ);Algebra and Logic;2019-11

5. UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES;The Journal of Symbolic Logic;2018-06