Related papers: Gallucci's axiom revisited
The traditional concept of space in geography is based on the notion of distance. Where there is a spatial analysis, there is a distance measurement. However, the precondition for effective distance-based space is that the geographical…
A geometric interpretation of the spontaneous symmetry breaking effect, which plays a key role in the Standard Model, is developed. The advocated approach is related to the effective use of the momentum 4-spaces of the constant curvature,…
We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.
The Palatini formalism is developed for gravitational theories in flat geometries. We focus on two particularly interesting scenarios. First, we fix the connection to be metric compatible, but we follow a completely covariant approach by…
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all…
Weighted projective space arises when we consider the usual geometric definition for projective space and allow for non-trivial weights. On its own, this extra freedom gives rise to more than enough interesting phenomena, but it is the fact…
The aim of these notes is to provide a reasonably short and "hands-on" introduction to the differential calculus on associative algebras over a field of characteristic zero. Following a suggestion of Ginzburg's we call the resulting theory…
In this text, we explore the tools that Projective Differential Geometry can provide for the asymptotic analysis of classical fields on projectively compact manifolds. We emphasise on the case of order 2-compactifications and develop, in…
The Recurrence Axiom for a class $\mathcal{P}$ of \pos\ and a set $A$ of parameters is an axiom scheme in the language of ZFC asserting that if a statement with parameters from $A$ is forced by a poset in $\mathcal{P}$, then there is a…
We suggest a concept of generalized `angles' in arbitrary real normed vector spaces. We give for each real number a definition of an `angle' by means of the shape of the unit ball. They all yield the well known Euclidean angle in the…
The new approach to quantize the gravity based on the notion of differential algebra is suggested. It is shown that the differential geometry of this object can not be described in terms of points. The spatialization procedure giving rise…
We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which…
In the paper we apply some of the results from the theory of ball spaces in the semimetric spaces. This allowed us to obtain some fixed point theorems which we believe to be unknown to this day. We also show the limitations of the ball…
We present some elementary ideas to prove the following Sylvester-Gallai type theorems involving incidences between points and lines in the planes over the complex numbers and quaternions. (1) Let A and B be finite sets of at least two…
We discuss the possibility that spacetime geometry may be an emergent phenomenon. This idea has been motivated by the Analogue Gravity programme. These are systems where the kinematics of small perturbations are dominated by an effective…
The method of application of areas as presented in Euclid's Elements, is employed to generate the three conics as the loci of points with Cartesian coordinates satisfying quadratic equations with coefficients defined by the initial settings…
We study minimally Terracini finite sets of points in the projective plane and we prove that the sequence of the cardinalities of minimally Terracini sets can have any number of gaps for degree great enough.
Here, a non-linear analysis method is applied rather than classical one to study projective Finsler geometry. More intuitively, by means of an inequality on Ricci-Finsler curvature, a projectively invariant pseudo-distance is introduced and…
Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of…
The `observer space' of a Lorentzian spacetime is the space of future-timelike unit tangent vectors. Using Cartan geometry, we first study the structure a given spacetime induces on its observer space, then use this to define abstract…