Work

A degree structure on representations of irrational numbers

Year: 2025

Type: article

Abstract: We study a degree structure on representations of irrational numbers. (Typical examples of representations are Cauchy sequences, Dedekind cuts and base-10 expansions.) We prove that the structure is a distributive lattice with a least and a greatest element. The maximum degree is the degree of the representation by continued fractions. The minimum degree is the degree of the representation by Weihrauch intersections.

Source: Journal of Logic and Analysis

DOI: 10.4115/jla.2025.17.fds2

Authors: Amir Ben-Amram, Lars Kristiansen

Institution: University of Oslo

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4407394351

FWCI: 0.496

Cites:

Cited by: 1

Related to: 10