Related papers: A Finite, Feasible, Quantifier-free Foundation for…
Abstract axiomatic formulation of mathematical structures are extensively used to describe our physical world. We take here the reverse way. By making basic assumptions as starting point, we reconstruct some features of both geometry and…
It is shown that the generalized geometries may be obtained as a deformation of the proper Euclidean geometry. Algorithm of construction of any proposition S of the proper Euclidean geometry E may be described in terms of the Euclidean…
We prove a generic smoothness result in rigid analytic geometry over a characteristic zero nonarchimedean field. The proof relies on a novel notion of generic points in rigid analytic geometry which are well-adapted to "spreading out"…
A general method for constructing essential uniform algebras with prescribed properties is presented. Using the method, the following examples are constructed: an essential, natural, regular uniform algebra on the closed unit disc; an…
We develop a general framework (multidimensional asymptotic classes, or m.a.c.s) for handling classes of finite first order structures with a strong uniformity condition on cardinalities of definable sets: The condition asserts that…
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
We give an analysis and generalizations of some long-established constructive completeness results in terms of categorical logic and pre-sheaf and sheaf semantics. The purpose is in no small part conceptual and organizational: from a few…
Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points…
This paper completes a fundamental construction in Alexandrov geometry. Previously we gave a new construction of metric spaces with curvature bounds either above or below, namely warped products with intrinsic metric space base and fiber,…
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…
In classical geometry, there is no such well-known and much-studied topic as the construction of conic sections (or briefly conics) from its five points. Its importance in many applications of mechanical engineering, civil engineering and…
We define and study a class of subshifts of finite type (SFTs) defined by a family of allowed patterns of the same shape where, for any contents of the shape minus a corner, the number of ways to fill in the corner is the same. The main…
The Ehlers-Pirani-Schild (EPS) constructive axiomatisation of general relativity, published in 1972, purports to build up the kinematical structure of that theory from only axioms which have indubitable empirical content. It is, therefore,…
We give a geometrical description of gravitational theories from the viewpoint of symmetries and affine structure. We show how gravity, considered as a gauge theory, can be consistently achieved by the nonlinear realization of the…
We propose a geometric setting of the axiomatic mathematical formalism of quantum theory. Guided by the idea that understanding the mathematical structures of these axioms is of similar importance as was historically the process of…
Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. Suppose that X is infinite, connected and of bounded degree. A first-order sentence in the language of X is almost surely true…
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn…
The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a…
We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to…
We ascribe to the Euclidean Fifth Postulate a genuine constructive role, which makes it absolutely necessary in the parallel construction. For that, we present a reconstruction of the general principles underlying the Euclidean construction…