Related papers: The reals as rational Cauchy filters
We present in this paper quantum real lines as quantum defomations of the real numbers $\R$.Upon deforming the Heisenberg algebra $\cL$ generated by $(a, a^\dagger)$ in terms of the Moyal $\ast$-product,we first construct q-deformed…
We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica}, and which does not involve the natural numbers (or any other infinite set). This theory is…
An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…
Given a solution of a nonlinear wave equation on the flat space-time (with a real analytic nonlinearity), we relate its Cauchy data at two different times by nonlinear representation formulas in terms of asymptotic series. We first show how…
We give a criterion when an expansion of the ordered set of real numbers defines the image of the expansion of the real field by the set of natural numbers under a semialgebraic injection. In particular, we show that for a non-quadratic…
A very small amount of K\"ahler algebra (i.e. Clifford algebra of differential forms) in the real plane makes x + ydxdy emerge as a factor between the differentials of the Cartesian and polar coordinates, largely replacing the concept of…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
Unlike mathematics, in which the notion of truth might be abstract, in physics, the emphasis must be placed on algorithmic procedures for obtaining numerical results subject to the experimental verifiability. For, a physical science is…
We consider a constructive modification of quantum-mechanical formalism. Replacement of a general unitary group by unitary representations of finite groups makes it possible to reproduce quantum formalism without loss of its empirical…
Solution operators for the equation $\bar \partial u=f$ are constructed on general product domains in $\mathbb{C}^n$. When the factors are one-dimensional, the operator is a simple integral operator: it involves specific derivatives of $f$…
This note aims to highlight the link between representable functionals and derivations on a Banach quasi *-algebra, i.e. a mathematical structure that can be seen as the completion of a normed *-algebra in the case the multiplication is…
It is shown that there is an absolute constant $C$ such that any rational $\frac bq\in]0, 1[, (b, q)=1$, admits a representation as a finite sum $\frac bq=\sum_\alpha\frac {b_\alpha}{q_\alpha}$ where $\sum_\alpha\sum_ia_i(\frac…
We discuss how to write down three specific natural numbers $A$, $B$, $C$ such that for any real number $r$ you've probably ever thought of, it is consistent with $\mathsf{ZFC}$ set theory that $$\def\Rb{\mathbb{R}}\def\Nb{\mathbb{N}}r =…
A. Renyi \cite{Renyi} made a definition that gives one generalization of simple normality in the context of $Q$-Cantor series. Similarly, in this paper we give a definition which generalizes the notion of normality in the context of…
Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…
Let $[a,b] $ be an interval in $\mathbb{R}$ and let $F$ be a real valued function defined at the endpoints of $[a,b]$ and with a certain number of discontinuities within $[a,b] $. Having assumed $F$ to be differentiable on a set $[a,b]…
In quantum logic there is well-known arbitrariness in choosing a binary operation for conditional. Currently, we have at least three candidates, called the Sasaki conditional, the contrapositive Sasaki conditional, and the relevance…
In this manuscript, we highlight a new phenomenon of complex algebraic singularity formation for solutions of a large class of genuinely nonlinear partial differential equations (PDEs). We start from a unique Cauchy datum, which is…
We study first-order expansions of the reals which do not define the set of natural numbers. We also show that several stronger notions of tameness are equivalent to each others.
The quantum mechanical measurement problem does not arise in the quantum real number approach to quantum measurements of the first kind. The attributes of individual microscopic systems in the experimental ensemble always have qr-number…