Related papers: Generating geometry axioms from poset axioms
The convex and metric structures underlying probabilistic physical theories are generally described in terms of base normed vector spaces. According to a recent proposal, the purely geometrical features of these spaces are appropriately…
An asymmetry exists between time and space in the sense that physical systems inevitably evolve over time whereas there is no corresponding ubiquitous translation over space. The asymmetry, which is presumed to be elemental, is represented…
Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for…
The quantum geometry arising in Loop Quantum Gravity has been known to semi-classically lead to generalizations of length-geometries. There have been several attempts to interpret these so called twisted geometries and understand their role…
The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which…
We investigate the interplay and connections between symmetry properties of equations, the interpretation of coordinates, the construction of observables, and the existence of physical relativity principles in spacetime theories. Using the…
We present the set of axioms for topological space with the operation of boundary as primitive notion.
For the given regular plane polygon and an arbitrary point in the plane of the polygon, the distances from the point to the vertices of the polygon are defined. We proved that there is one more non-congruent regular polygon having the…
Following Thurston's geometrisation picture in dimension three, we study geometric manifolds in a more general setting in arbitrary dimensions, with respect to the following problems: (i) The existence of maps of non-zero degree (domination…
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class forcing extension which…
The conventional method of a generalized geometry construction, based on deduction of all propositions of the geometry from axioms, appears to be imperfect in the sense, that multivariant geometries cannot be constructed by means of this…
Equations of spinning objects are obtained in Absolute Parallelism Geometry [AP], a special class of non-Riemannian geometry admitting an alternative non-vanishing curvature and torsion simultaneously. This new set of equations is the…
We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…
We discuss a link between graph theory and geometry that arises when considering graph dynamical systems with odd interactions. The equilibrium set in such systems is not a collection of isolated points, but rather a union of manifolds,…
The dark matter and dark energy problem, that is now dominating the research in cosmology, makes the question of the origin of mass-energy content of the universe more urgent than ever. There are two philosophies regarding this question:…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
This is a survey of our research on geometric structures of projective embeddings and includes some topics of our talks in several symposia during 1990-99. We clarify our main problem, which is to construct a kind of geometric composition…
We study some graded geometric constructions appearing naturally in the context of gauge theories. Inspired by a known relation of gauging with equivariant cohomology we generalize the latter notion to the case of arbitrary Q-manifolds…
We present a novel derivation of the spacetime metric generated by matter, without invoking Einstein's field equations. For static sources, the metric arises from a relativistic formulation of D'Alembert's principle, where the inertial…
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…