Related papers: Generating geometry axioms from poset axioms
We review and develop the classical theory of moments of configurations of weighted points with a focus on systems with an identically vanishing first moment. The latter condition produces equations for equilibrium configurations of systems…
A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $\theta$ on $P$; $\theta$ is then called a congruence if it satisfies certain conditions, which vary according to different…
In [1], Connes presented axioms governing noncommutative geometry. He went on to claim that when specialised to the commutative case, these axioms recover spin or spin^c geometry depending on whether the geometry is ''real'' or not. We…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
A poset $P = (X,\prec)$ has an interval representation if each $x \in X$ can be assigned a real interval $I_x$ so that $x \prec y$ in $P$ if and only if $I_x$ lies completely to the left of $I_y$. Such orders are called \emph{interval…
Euclid's reasoning is essentially constructive. Tarski's elegant and concise first-order theory of Euclidean geometry, on the other hand, is essentially non-constructive, even if we restrict attention (as we do here) to the theory with…
We study the geometry of the Sieve of Eratosthenes. We introduce some concepts as Focals and Extremes. We find a symmetry in the distribution of the Focals (all the information about the primes is contained into a small set of numbers). We…
Quasisymmetry builds a third invariant for charged-particle motion besides energy and magnetic moment. We address quasisymmetry at the level of approximate symmetries of first-order guiding-centre motion. We find that the conditions to…
Riemann's principle "force equals geometry" provided the basis for Einstein's General Relativity - the geometric theory of gravitation. In this paper, we follow this principle to derive the dynamics for any static, conservative force. The…
We state an elementary inequality for the structure from motion problem for m cameras and n points. This structure from motion inequality relates space dimension, camera parameter dimension, the number of cameras and number points and…
The de Sitter spacetime is transitive under a combination of translations and proper conformal transformations. Its usual family of geodesics, however, does not take into account this property. As a consequence, there are points in de…
We determine explicit formulas for geodesics (in the Euclidean metric) in the configuration space of ordered pairs (x,x') of points in R^n which satisfy d(x,x')>=epsilon. We interpret this as two or three (depending on the parity of n)…
This paper is a sequel to arXiv:2511.01024 (Base 1), where an axiomatic framework for angles and the foundations of difference-angle geometry were introduced. In difference-angle geometry, where the difference of slopes of lines is treated…
Let $X$ be a compact Riemannian manifold with conic singularities, i.e. a Riemannian manifold whose metric has a conic degeneracy at the boundary. Let $\Delta$ be the Friedrichs extension of the Laplace-Beltrami operator on $X.$ There are…
This paper explores how a pluralist view can arise in a natural way out of the day-to-day practice of modern set theory. By contrast, the widely accepted orthodox view is that there is an ultimate universe of sets $V$, and it is in this…
Motivated by the apparent dependence of string $\sigma$--models on the sum of spacetime metric and antisymmetric tensor fields, we reconsider gravity theories constructed from a nonsymmetric metric. We first show that all such "geometrical"…
A geometry of two sets (GTS) is given on manifolds $\mathfrak{M}$ and $\mathfrak{N}$ by a metric (two-point) function $f:\mathfrak{M\times N}\to R$. Its phenomenological symmetry (PS) means that for some numbers of points from each manifold…
We introduce two axioms in Laguerre geometry and prove that they provide a characterization of miquelian planes over fields of the characteristic different from 2. They allow to describe an involutory automorphism that sheds some new light…
A classic problem in general relativity, long studied by both physicists and philosophers of physics, concerns whether the geodesic principle may be derived from other principles of the theory, or must be posited independently. In a recent…
It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…