Related papers: Infinitesimals without Logic
The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring…
F.: Good morning Hermann, I would like to talk with you about infinitesimals. G.: Tell me Pierre. F.: I'm fed up of all these slanders about my attitude to be non rigorous, so I've started to study nonstandard analysis (NSA) and synthetic…
In this paper, we use some basic quasi-topos theory to study two functors: one adding infinitesimals of Fermat reals to diffeological spaces (which generalize smooth manifolds including singular spaces and infinite dimensional spaces), and…
I propose a theory of space with infinitesimal regions called \textit{smooth infinitesimal geometry} (SIG) based on certain algebraic objects (i.e., rings), which regiments a mode of reasoning heuristically used by geometricists and…
The presence of infinitesimals is traced back to some of the most general algebraic structures, namely, semigroups, and in fact, magmas, [1], in which none of the structures of linear order, field, or the Archimedean property need to 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 often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…
We study finite-dimensional nonassociative algebras. We prove the implicit function theorem for such algebras. This allows us to establish a correspondence between such algebras and quasigroups, in the spirit of classical correspondence…
We show that the field of complex numbers $\mathbb C$ contains non-zero infinitesimals by observing that $\mathbb C$ contains non-Archimedean subfields. Our observation is based on an old theorem in algebra due to E. Steinitz, discussed in…
We develop the integral calculus for quasi-standard smooth functions defined on the ring of Fermat reals. The approach is by proving the existence and uniqueness of primitives. Besides the classical integral formulas, we show the…
This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras…
An exposition of smooth infinitesimal analysis, which is a way to do calculus with nilsquare infinitesimals, is given.
We give a survey of the use of infinitesimals within mathematical analysis to rigorously deal with the delta-function from physics, and more generally, with distributions in the sense of L. Schwartz. We use the framework of nonstandard…
Using standard analysis only, we present an extension ${^\bullet\R}$ of the real field containing nilpotent infinitesimals. On the one hand we want to present a very simple setting to formalize infinitesimal methods in Differential…
Let $C_{2}$ be a smooth and projective curve over the ring of dual numbers of a field $k.$ Given non-zero rational functions $f,g,$ and $h$ on $C_{2},$ we define an invariant $\rho(f\wedge g \wedge h) \in k.$ This is an analog of the real…
In this paper we introduce the concept of purely infinite rings, which in the simple case agrees with the already existing notion of pure infiniteness. We establish various permanence properties of this notion, with respect to passage to…
A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…
Lie algebroids are by no means natural as an infinitesimal counterpart of groupoids. In this paper we propose a functorial construction called Nishimura algebroids for an infinitesimal counterpart of groupoids. Nishimura algebroids,…
We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…
The geometrical theory of partial differential equations in the absolute sense, without any additional structures, is developed. In particular the symmetries need not preserve the hierarchy of independent and dependent variables. The order…