Related papers: The reals as rational Cauchy filters
For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…
We show how to represent an interval of real numbers in an abstract numeration system built on a language that is not necessarily regular. As an application, we consider representations of real numbers using the Dyck language. We also show…
In this project, we will study the Brauer group that was first defined by R. Brauer. The elements of the Brauer group are the equivalence classes of finite dimensional central simple algebra. Therefore understanding the structure of the…
Simple continued fractions, base-b expansions, Dedekind cuts and Cauchy sequences are common notations for number systems. In this note, first, it is proven that both simple continued fractions and base-b expansions fail to denote real…
The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language…
It is shown how Dedekind cuts can be used to introduce the extended real numbers along with sound arithmetic laws via one simple rule for the addition of sets. The crucial idea is that the use of the lower and the upper part of the cuts,…
The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be…
Cantor's famous construction of the real continuum in terms of Cauchy sequences of rationals proceeds by imposing a suitable equivalence relation. More generally, the completion of a metric space starts from an analogous equivalence…
It is known that any rational abstract numeration system is faithfully, and effectively, represented by an N-rational series. A simple proof of this result is given which yields a representation of this series which in turn allows a simple…
In classical complex analysis analyticity of a complex function $f$ is equivalent to differentiability of its real and imaginary parts $u$ and $v$, respectively, together with the Cauchy-Riemann equations for the partial derivatives of $u$…
The concept of number is fundamental to the formulation of any physical theory. We give a heuristic motivation for the reformulation of Quantum Mechanics in terms of non-standard real numbers called Quantum Real Numbers. The standard axioms…
This work is based on a description of quantum reference frames that seems more basic than others in the literature. Here a frame is based on a set of real and of complex numbers and a space time as a 4-tuple of the real numbers. There are…
In the present article, modeling certain rational numbers, that are represented in terms of Cantor series, are described. The statements on relations between digits in the representations of rational numbers by Cantor series (for the case…
We show how to extract a monotonic learning algorithm from a classical proof of a geometric statement by interpreting the proof by means of interactive realizability, a realizability sematics for classical logic. The statement is about the…
We define Collatz representations for a subset of rational numbers and prove that each real number \( x \notin (-1,1) \) can be approximated arbitrarily well by rational numbers which have only \( 2 \)'s and \( 1 \)'s in their Collatz…
In the paper, the authors analytically generalize the Catalan numbers in combinatorial number theory, establish an integral representation of the analytic generalization of the Catalan numbers by virtue of Cauchy's integral formula in the…
A system of linear equations with integer coefficients is partition regular over a subset S of the reals if, whenever S\{0} is finitely coloured, there is a solution to the system contained in one colour class. It has been known for some…
The consideration of nonstandard models of the real numbers and the definition of a qualitative ordering on those models provides a generalization of the principle of maximization of expected utility. It enables the decider to assign…
In this paper we show how to construct a regular, non commutative Cauchy kernel for slice regular quaternionic functions. We prove an (algebraic) representation formula for such functions, which leads to a new Cauchy formula. We find the…
Some aspects of the development of physics and the mathematics set one think about relation between complex numbers and reality around us. If number to spot as the relation of two quantities, from the fact of existence of complex numbers…