Related papers: Affine Hulls and Simplices: a Constructive Analysi…
New elementary, self-contained proofs are presented for the topological and the smooth classification theorems of linear flows on finite-dimensional normed spaces. The arguments, and the examples that accompany them, highlight the…
$p$-Adic compactifications of geometric loop and diffeomorphism groups of compact manifolds on finite-dimensional spaces over non-Archimedean fields are investigated. Weakened topology is introduced. The structure of newly constructed…
We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to…
We obtain a characterization of the real Lie algebras admitting abelian complex structures in terms of certain affine Lie algebras $\frak a \frak f \frak f (A)$, where $A$ is a commutative algebra. These affine Lie algebras are natural…
Abstract argumentation frameworks (AFs) provide a formal setting to analyze many forms of reasoning with conflicting information. While the expressiveness of general infinite AFs make them a tempting tool for modeling many kinds of…
We begin the study of completeness of affine connections, especially those on statistical manifolds as well as on affine hypersurfaces. We collect basic facts, prove new theorems and provide examples with remarkable properties.
We provide an alternative, simpler proof of the existence of thick triangulations for noncompact $\mathcal{C}^1$ manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary…
We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic…
We study smooth rational closed embeddings of the real affine line into the real affine plane, that is algebraic rational maps from the real affine line to the real affine plane which induce smooth closed embeddings of the real euclidean…
The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible…
We improve upon Huntington's affine geometry by showing that his independence proofs can be, in some cases, simplified. We carry out a systematic investigation of the strict notion of betweenness that Huntington employs (the three arguments…
Recently, Artemov [4] offered the notion of constructive consistency for Peano Arithmetic and generalized it to constructive truth and falsity in the spirit of Brouwer-Heyting-Kolmogorov semantics and its formalization, the Logic of Proofs.…
Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant…
Homogeneous wavelets and framelets have been extensively investigated in the classical theory of wavelets and they are often constructed from refinable functions via the multiresolution analysis. On the other hand, nonhomogeneous wavelets…
The principles behind the sharp, singular structures in a crumpled sheet are well understood. Here we discuss more general ways of exploiting such sharp structures to control the shape of a sheet by deforming or forcing it elsewhere. Often,…
In order to understand the structure of the cohomologies involved in the study of projectively equivariant quantizations, we introduce a notion of affine representation of a Lie algebra.We show how it is related to linear representations…
The class of the hypercomplex pseudo-Hermitian manifolds is considered. The flatness of the considered manifolds with the 3 parallel complex structures is proved. Conformal transformations of the metrics are introduced. The conformal…
This article is concerned with moduli spaces of connections on bundles on Riemann surfaces, where the structure group of the bundle may vary in different regions of the surface. Here we will describe such moduli spaces as complex symplectic…
The article 'A "regular" pentagonal tiling of the plane' by P. L. Bowers and K. Stephenson defines a conformal pentagonal tiling. This is a tiling of the plane with remarkable combinatorial and geometric properties. However, it doesn't have…
This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…