Related papers: Generating geometry axioms from poset axioms
A theorem, usually attributed to Barr, yields that (A) geometric implications deduced in classical L_{\infty\omega} logic from geometric theories also have intuitionistic proofs. Barr's theorem is of a topos-theoretic nature and its proof…
In this paper, we propose a generalized notion of a distance function, called a $g$-metric. The $g$-metric with degree $n$ is a distance of $n+1$ points, generalizing the ordinary distance between two points and $G$-metric between three…
We develop a transitional geometry, that is, a family of geometries of constant curvatures which makes a continuous connec-tion between the hyperbolic, Euclidean and spherical geometries. In this transitional setting, several geometric…
The elucidation of the properties of the instantons in the topologically trivial sector has been a long-standing puzzle. Here we claim that the properties can be summarized in terms of the geometrical structure in the configuration space,…
Geometric algebra is the natural outgrowth of the concept of a vector and the addition of vectors. After reviewing the properties of the addition of vectors, a multiplication of vectors is introduced in such a way that it encodes the famous…
In this paper, we present a generalization of the Askey-Wilson relations that involves a projective geometry. A projective geometry is defined as follows. Let $h>k\geq 1$ denote integers. Let $\mathbb{F}_{q}$ denote a finite field with $q$…
A geometric graph G(bar) is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call G(bar) a geometric realization of the underlying abstract graph G. A geometric homomorphism is a vertex map that…
Physical geometry studies mutual disposition of geometrical objects and points in space, or space-time, which is described by the distance function $ d$, or by the world function $\sigma =d^{2}/2$. One suggests a new general method of the…
We examine the hypothesis that space-time is a product of a continuous four-dimensional manifold times a finite space. A new tensorial notation is developed to present the various constructs of noncommutative geometry. In particular, this…
There exist several ways of constructing general relativity from `first principles': Einstein's original derivation, Lovelock's results concerning the exceptional nature of the Einstein tensor from a mathematical perspective, and…
Connes' notion of non-commutative geometry (NCG) generalizes Riemannian geometry and yields a striking reinterepretation of the standard model of particle physics, coupled to Einstein gravity. We suggest a simple reformulation with two key…
Classical geometry can be described either in terms of a metric tensor $g_{ab}(x)$ or in terms of the geodesic distance $\sigma^2(x,x')$. Recent work, however, has shown that the geodesic distance is better suited to describe the quantum…
Distance Geometry is based on the inverse problem that asks to find the positions of points, in a Euclidean space of given dimension, that are compatible with a given set of distances. We briefly introduce the field, and discuss some open…
A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise, Grundlagen der Geometrie, leads from axioms to the construction of a division ring from which coordinates may be assigned to points, and…
A permutation $\sigma$ describing the relative orders of the first $n$ iterates of a point $x$ under a self-map $f$ of the interval $I=[0,1]$ is called an \emph{order pattern}. For fixed $f$ and $n$, measuring the points $x\in I$ (according…
By providing explicit definitions, we show that in both affine and projective geometry of dimension $\geq 3$, considered as first-order theories axiomatized in terms of lines as the only variables, and the binary line-intersection predicate…
Nondegenerate geometry (T-geometry) with nonsymmetric world function is considered. In application to the space-time geometry the asymmetry of world function means that the past and the future are not equivalent geometrically. T-geometry is…
A new class of distances for graph vertices is proposed. This class contains parametric families of distances which reduce to the shortest-path, weighted shortest-path, and the resistance distances at the limiting values of the family…
Traditional geometry employs idealized concepts like that of a point or a curve, the operational definition of which relies on the availability of classical point particles as probes. Real, physical objects are quantum in nature though,…
The planar ornaments are created by repeating a base unit using a combination of four primitive geometric operations: translation, rotation, reflection, and glide reflection. According to group theory, different combinations of these four…