Related papers: Gallucci's axiom revisited
Teramoto et al. defined a new measure called the gap ratio that measures the uniformity of a finite point set sampled from $\cal S$, a bounded subset of $\mathbb{R}^2$. We generalize this definition of measure over all metric spaces by…
We investigate an `assumption of projectivity' that is appropriate to the self-dual axiomatic formulation of three-dimensional projective space.
For a certain class of configurations of points in space, Eves' Theorem gives a ratio of products of distances that is invariant under projective transformations, generalizing the cross-ratio for four points on a line. We give a…
With this chapter we provide a compact yet complete survey of two most remarkable "representation theorems": every arguesian projective geometry is represented by an essentially unique vector space, and every arguesian Hilbert geometry is…
We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method. Our systems are more natural than Valentini's…
In this paper, we first define the concept of convexity in G-metric spaces. We then use Mann iterative process in this newly defined convex G-metric space to prove some convergence results for some classes of mappings. In this way, we can…
A space for gauge theories is defined, using projective limits as subsets of Cartesian products of homomorphisms from a lattice on the structure group. In this space, non-interacting and interacting measures are defined as well as functions…
Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of the ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which…
We deal with generalizations of the Fundamental Theorem of Projective Geometry to other related geometries (of dimension $\geq 3$) and non bijective maps. We consider locally projective geometries and locally affino-projective geometries…
Field Arithmetic studies the interplay between arithmetical properties of fields and their absolute Galois groups. Here we studies fields satisfying local global principles for rational points of varieties and profinite groups satisfying…
We address the problem of observables in generally invariant spacetime theories such as Einstein's general relativity. Using the refined notion of an event as a ``point-coincidence'' between scalar fields that completely characterise a…
We prove that E. De Giorgi's conjecture for the nonlocal approximation of free-discontinuity problems extends to the case of functionals defined in terms of the symmetric gradient of the admissible field. After introducing a suitable class…
We demonstrate a construction method based on a gain function that is defined on the incidence graph of an incidence geometry. Restricting to when the incidence geometry is a linear space, we show that the construction yields a generalized…
We present an approximation to topological spaces by {\it noncommutative} lattices. This approximation has a deep physical flavour based on the impossibility to fully localize particles in any position measurement. The original space being…
A crucial step in the history of General Relativity was Einstein's adoption of the principle of general covariance which demands a coordinate independent formulation for our spacetime theories. General covariance helps us to disentangle a…
The aim of the paper is to give a synthetic proof that in a symmetric Minkowski plane the Benz's (G) axiom holds (without using the algebraic representation).
In various areas of modern physics and in particular in quantum gravity or foundational space-time physics it is of great importance to be in the possession of a systematic procedure by which a macroscopic or continuum limit can be…
Definition. A symmetric with respect to 0 bounded closed convex set A in a finite dimensional normed space X is called a sufficient enlargement for X (or of B(X)) if for arbitrary isometric embedding of X into a Banach space Y there exists…
This paper introduces a notion of integrality that is suitable for non-commutative varieties. It is compatible with the usual notion of integrality for schemes. The function field and generic point of a non-commutative integral space are…
Given a singular hypersurface in a regular 2-dimensional scheme essentially of finite type over a field, we construct an embedded resolution of singularities by weighted blow-ups. This differs from our earlier work which required…