vix.ing · top · new · best · stats · spec

Representations of Reals in Reverse Mathematics

2007/01/01 by Jeffry L. Hirst · 3 citations
Computer Science · Mathematics · #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #Mathematical and Theoretical Analysis

paper · pdf · doi:10.4064/ba55-4-2

crossref issued 2007/01/01 · crossref published 2007/01/01 · crossref published-online 2007/01/01 · openalex publication_date 2007/01/01 · crossref created 2008/11/28 · crossref deposited 2008/12/08 · openalex created_date 2025/10/10 · crossref indexed 2026/08/02 · openalex updated_date 2026/08/02

Abstract

Working in the framework of reverse mathematics, we consider representations of reals as rapidly converging Cauchy sequences, decimal expansions, and two sorts of Dedekind cuts. Converting single reals from one representation to another can always be car

Citations

Cited by