Related papers: Projective spaces over $\mathbb{F}_{1^{\ell}}$

This paper is an exploration of the nuanced realm of reference frames within the framework of General Relativity. Our analysis exposes a violation of Earman's SP1 principle in scenarios involving fields that are dynamically uncoupled, a…

In this paper, we establish some fixed point theorems in ordered partial metric spaces. An example is given to illustrate our obtained results.

Based on the projective matrix spaces studied by B. Schwarz and A. Zaks, we study the notion of projective space associated to a C*-algebra A with a fixed projection p. The resulting space P(p) admits a rich geometrical structure as a…

We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…

In this article, we investigate some fixed point results satisfying a new generalized $\Delta$-implicit contractive condition in ordered complete multiplicative $\mathbf{G}_\mathcal{M}-$metric space. Also, some new definitions and fixed…

In a recent paper [3], the authors introduced a map $\mathcal{F}$ which associates a Deitmar scheme (which is defined over the field with one element, denoted by $\mathbb{F}_1$) with any given graph $\Gamma$. By base extension, a scheme…

Let $X/K$ be a smooth projective variety defined over a number field, and let $f:X\to{X}$ be a morphism defined over $K$. We formulate a number of statements of varying strengths asserting, roughly, that if there is at least one point…

We develop and study a generalization of commutative rings called bands, along with the corresponding geometric theory of band schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and…

Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and…

Let $X$ be an arithmetic scheme (i.e., separated, of finite type over $\operatorname{Spec} \mathbb{Z}$) of Krull dimension $1$. For the associated zeta function $\zeta (X,s)$, we write down a formula for the special value at $s = n < 0$ in…

We define the notion of {\em rational presentation of a complete metric space} in order to study metric spaces from the algorithmic complexity point of view. In this setting, we study some presentations of the space $\czu$ of uniformly…

The concept of fixed point plays a crucial role in various fields of applied mathematics. The aim of this paper is to establish the existence of a unique fixed point of some type of functions which satisfy a new contraction principle,…

Let $T$ be a positive closed current of unit mass on the complex projective space $\mathbb P^n$. For certain values $\alpha<1$, we prove geometric properties of the set of points in $\mathbb P^n$ where the Lelong number of $T$ exceeds…

For a field $E$ of characteristic different from $2$ and cohomological $2$-dimension one, quadratic forms over the rational function field $E(X)$ are studied. A characterisation in terms of polynomials in $E[X]$ is obtained for having that…

In this paper, influenced by the ideas from A. Mihail, The canonical projection between the shift space of an IIFS and its attractor as a fixed point, Fixed Point Theory Appl., 2015, Paper No. 75, 15 p., we associate to every generalized…

We propose a calculus for modeling implicit programming that supports first-class, overlapping, locally scoped, and higher-order instances with higher-kinded types. We propose a straightforward generalization of the well-established System…

Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…

We describe a notion of (abstract) projective line over a field as a set equipped with a certain first order structure, and a projectivity between projective lines as a bijection preserving this structure. The structure in question is that…

Using the previously developed concepts of semantic spacetime, I explore the interpretation of knowledge representations, and their structure, as a semantic system, within the framework of promise theory. By assigning interpretations to…

The statement of Lemma 3.1 in the published paper is not correct. Lemma 3.1 is needed for the proof of Theorem 3.2. Theorem 3.2 as originally stated is true but its "proof" is not correct. Here we change the statements and proofs of Lemma…