Related papers: The decision problem for normed spaces over any cl…
Projective spaces for finite-dimensional vector spaces over general fields are considered. The geometry of these spaces and the theory of line bundles over these spaces is presented. Particularly, the space of global regular sections of…
In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the…
We propose methods towards a systematic determination of d dimensional curved spaces where Euclidean field theories with rigid supersymmetry can be defined. The analysis is carried out from a group theory as well as from a supergravity…
Efforts to understand the origin of the cosmological constant {\Lambda} and its observed value have led to consider it as a dynamical field rather than as a universal constant. Then the possibility arises that the universe, or regions of…
It is shown how the theory of the fields can be constructed in a consistent way in quantized spaces. All constructions are connected with unitary irreducible representations of real forms of six dimensional rotation algebras O(1,5), O(2,4),…
We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…
Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose…
We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation. The finite satisfiability problem for this logic is shown to be decidable, in triply…
In this paper, we approach the question if some of the separation axioms are equivalent in the class of asymmetric normed spaces. In particular, we make a remark on a known theorem which states that every $T_1$ asymmetric normed space with…
A vector space over a field $\mathbb{F}$ is a set $V$ together with two binary operations, called vector addition and scalar multiplication. It is standard practice to think of a Euclidean space $\mathbb{R}^n$ as an $n$-dimensional real…
We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a…
A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a…
We show that any normed space $(K^n,\|\cdot\|)$, $n\ge 2$, over a field $K$ equipped with a nontrivial non-Archimedean valuation admits a paradoxical decomposition using four pieces with respect to the group of its affine isometries,…
The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…
The theory of Space rotations is introduced. The relativity principle is generalized to satisfy to reference frames rotating in 3D space. It is shown that the most postulates and limitations of quantum theories are consequences of this…
We show some results related to the classical Banach-Tarski paradox in the setting of finite-dimensional normed spaces over a non-Archimedean valued field $K$. For instance, all balls and spheres in $K^n$, and the whole space $K^n$ (for…
Machine learning researchers and practitioners steadily enlarge the multitude of successful learning models. They achieve this through in-depth theoretical analyses and experiential heuristics. However, there is no known general-purpose…
In this work, we extend the concept of Robinson spaces to asymmetric dissimilarities, enhancing their applicability in representing and analyzing complex data. Within this generalized framework, we introduce two different problems that…
The Principle of Relativity has so far been understood as the {\it covariance} of laws of Physics with respect to a general class of reference frame transformations. That relativity, however, has only been expressed with the help of {\it…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…