Related papers: Order positive fields II
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
In 2025, the concept of an order in a number field being associated, ideal-preserving, or locally associated was introduced in order to tackle problems in factorization. In this paper, we explore locally associated orders in real quadratic…
It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.
We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…
We prove that a semialgebraically connected affine Nash group over a real closed field R is Nash isogenous to the semialgebraically connected component of the group H(R) of R-points of some algebraic group H defined over R. In the case when…
The class of closed graphs by a linear ordering on their sets of vertices is investigated. A recent characterization of such a class of graphs is analyzed by using tools from the proper interval graph theory.
In contrast to the abundance of "direct" Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a…
The article is devoted to the investigation of particular classes of quasi-invariant descending at infinity measures on linear spaces over non-Archimedean fields such that measures are with values in non-Archimedean fields also. Their…
We show that on every compact Riemannian 2-orbifold there exist infinitely many closed geodesics of positive length.
The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…
We give an algebraic characterization of half-factorial orders in algebraic number fields. This generalizes prior results for seminormal orders and for orders in quadratic number fields.
We establish a sufficient condition for the ultimate positivity of P-recursive sequences of arbitrary order with a unique dominant root. By additionally verifying finitely many initial terms, the positivity can also be resolved. As an…
Fix a quadratic order over the ring of integers. An embedding of the quadratic order into a quaternionic order naturally gives an integral binary hermitian form over the quadratic order. We show that, in certain cases, this correspondence…
In this paper, we extend the notion of orthogonality to the general elements of an absolute matrix order unit space and relate it to the orthogonality among positive elements. We introduce the notion of a partial isometry in an absolute…
Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…
It is shown that an ordered vector space $X$ is Archimedean if and only if $\inf\limits_{\tau\in\{\tau\}, y\in L}(x_\tau -y) \ = 0$ for any bounded decreasing net $x_\tau\downarrow$ in $X$, where $L$ is the collection of all lower bounds of…
From one point of view in the quantum theory of fields, free quantum fields are uniquely determined, not by field equations, but by the transformations of the field and the annihilation and creation operators from which the field is…
We investigate the large values of class numbers of cubic fields, showing that one can find arbitrary long sequences of "close" abelian cubic number fields with class numbers as large as possible. We also give a first step toward an…
We consider cubic number fields ordered by their discriminants, and show that there exist arbitrarily long sequences that contain only fields with class numbers greater than a given bound.
We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness of some natural problems in linear algebra and analysis. In…