Related papers: The exponential rank of non-Archimedean exponentia…
I analyze $\mathcal{O}$-weakly immediate and $\mathcal{O}$-residual types in an o-minimal expansion of an ordered field $\mathbb{E}$, where $\mathcal{O}$ is a convex valuation ring. The main result is a characterization of those exponential…
In this paper, we give a survey of the known results concerning the tensor rank of the multiplication in finite extensions of finite fields, enriched with some not published recent results as well as analyzes enhancing the qualitative…
It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…
In the old papers of Ogievetskii and Polubarinov, Hayashi, Kalb and Ramond the {\it notoph} concept, the longitudinal field originated from the antisymmetric tensor, has been proposed. In our work we analyze the theory of antisymmetric…
In this paper we study the rank one discrete valuations of the field $k((X_1,..., X_n))$ whose center in $k\lcor\X\rcor$ is the maximal ideal. In sections 2 to 6 we give a construction of a system of parametric equations describing such…
We continue the work of Kaplansky on immediate valued field extensions and determine special properties of elements in such extensions. In particular, we are interested in the question when an immediate valued function field of…
The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the…
The characterization of PSPACE-queries over ordered structures as exactly those expressible in first-order logic with partial fixpoints (Vardi'82) is one of the classical results in the field of descriptive complexity. In this paper, we…
This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on…
We prove that any complete regular local ring with a valuation of rank 1 can be embedded, as a valued ring, in a ring of generalized Puiseux expansions.
We give a criterion when an expansion of the ordered set of real numbers defines the image of the expansion of the real field by the set of natural numbers under a semialgebraic injection. In particular, we show that for a non-quadratic…
A complete classification of all continuous, epi-translation and rotation invariant valuations on the space of super-coercive convex functions on ${\mathbb R}^n$ is established. The valuations obtained are functional versions of the…
Planar functions, introduced by Dembowski and Ostrom, are functions from a finite field to itself that give rise to finite projective planes. They exist, however, only for finite fields of odd characteristics. They have attracted much…
This paper investigates the absolute values on $\mathbb{Z}$ valued in the upper reals (i.e. reals for which only a right Dedekind section is given). These necessarily include multiplicative seminorms corresponding to the finite prime fields…
We study definable ranks of ordered fields, ordered abelian groups, and linear orders. For an arbitrary linear order $\Gamma$, we construct an ordered abelian group $G$ with archimedian spine $\Gamma$ and an ordered field $K$ with natural…
We compute the higher ramification groups and the Artin conductors of radical extensions of the rationals. As an application, we give formulas for their discriminant (using the conductor-discriminant formula). The interest in such number…
We provide a coherent picture of our efforts thus far in extending real algebra and its links to the theory of quadratic forms over ordered fields in the noncommutative direction, using hermitian forms and "ordered" algebras with…
We study formally real, non-pythagorean fields which have an anisotropic torsion form that contains every anisotropic torsion form as a subform. We obtain consequences for certain invariants and the Witt ring of such fields and construct…
We study abelian varieties defined over function fields of curves in positive characteristic $p$, focusing on their arithmetic within the system of Artin-Schreier extensions. First, we prove that the $L$-function of such an abelian variety…
Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…