Related papers: Generating geometry axioms from poset axioms
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…
In a recent study by Tenner, the concept of the interval poset of a permutation was introduced to effectively represent all intervals and their inclusions within a permutation. In this paper, we present a new geometric viewpoint on interval…
A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…
In this paper we present some results obtained in a previous paper about the Cartan's approach to Riemannian normal coordinates and our conformal transformations among pseudo-Riemannian manifolds. We also review the classical and the…
In pregeometry a metric arises as a composite object at large distances. We investigate if its signature, which distinguishes between time and space, could be a result of the dynamics rather than being built in already in the formulation of…
The ground axiom is the assertion that the set-theoretic universe is not obtainable by forcing over any inner model. Although this appears at first to be a second-order assertion, it is actually first-order expressible in the language of…
In a companion paper (Jonsson and Westman, Class. Quantum Grav. 23 (2006) 61), a generalization of optical geometry, assuming a non-shearing reference congruence, is discussed. Here we illustrate that this formalism can be applied to a…
Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…
Criterions for constancy of the holomorphic sectional curvature and the antiholomorphic sectional curvature are proved for almost Hermitian manifolds. It is shown, that an almost Hermitian manifold satisfying the axiom of antiholomorphic…
A generalisation of Riemannian geometry is considered, based exclusively on the minimal assumptions that the line element $ds$ is a regular function of position and direction and that the distance of every point from itself is equal to…
It is well known that several classical geometry problems (e.g., angle trisection) are unsolvable by compass and straightedge constructions. But what kind of object is proven to be non-existing by usual arguments? These arguments refer to…
A geometric conception is a method of a geometry construction. The Riemannian geometric conception and a new T-geometric one are considered. T-geometry is built only on the basis of information included in the metric (distance between two…
This article explores the overall geometric manner in which human beings make sense of the world around them by means of their physical theories; in particular, in what are nowadays called pregeometric pictures of Nature. In these, the…
In the proof of Lemma 2.6 (2) the iteration of the map {\tau} was not performed properly and in fact the lemma is wrong; a counterexample is given by f = \bar{x}_1and k = 2. This error does not, however, affect the geometric…
Order and symmetry are main structural principles in mathematics. We give five examples where on the face of it order is not apparent, but deeper investigations reveal that they are governed by order structures. These examples are finite…
A new methodological approach for the study of topology for shapes made of arrangements of lines, planes or solids is presented. Topologies for shapes are traditionally built on the classical theory of point-sets. In this paper, topologies…
Not any geometry can be axiomatized. The paradoxical Godel's theorem starts from the supposition that any geometry can be axiomatized and goes to the result, that not any geometry can be axiomatized. One considers example of two close…
The skewer of a pair of skew lines in space is their common perpendicular. To configuration theorems of plane projective geometry involving points and lines (such as Pappus or Desargues) there correspond configuration theorems in space:…
The geometry of cosets in the subgroups H of the two-generator free group G =\textless{} a, b \textgreater{} nicely fits, via Grothendieck's dessins d'enfants, the geometry of commutation for quantum observables. Dessins stabilize…
Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which…