RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2017 Volume 56, Number 1, Pages 93–109 (Mi al779)

This article is cited in 1 paper

Processes and structures on approximation spaces

A. I. Stukachevab

a Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090 Russia
b Novosibirsk State University, ul. Pirogova 1, Novosibirsk, 630090 Russia

Abstract: We introduce the concept of a computability component on an admissible set and consider minimal and maximal computability components on hereditarily finite superstructures as well as jumps corresponding to these components. It is shown that the field of real numbers $\Sigma$-reduces to jumps of the maximal computability component on the least admissible set $\mathbb{HF}(\varnothing)$. Thus we obtain a result that, in terms of $\Sigma$-reducibility, connects real numbers, conceived of as a structure, with real numbers, conceived of as an approximation space. Also we formulate a series of natural open questions.

Keywords: computability theory, admissible sets, approximation spaces, constructive models, computable analysis, hyperarithmetical computability.

UDC: 510.5

Received: 13.04.2015
Revised: 29.12.2016

DOI: 10.17377/alglog.2017.56.104


 English version:
Algebra and Logic, 2017, 56:1, 63–74

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024